1 body {

     2   background-color: white;

     3   border: 0px;

     4   margin: 0px;

     5   padding: 0px;

     6 }

     7 

     8 .corner {

     9   width: 200px;

    10   height: 80px;

    11   text-align: center;

    12 }

    13 

    14 .banner {

    15   background-color: rgb(110,139,61);

    16   color: rgb(255,236,176);

    17   padding-left: 2em;

    18 }

    19 

    20 .banner h1 {

    21   font-size: 200%;

    22 }

    23 

    24 .content {

    25   padding: 0em 2em 1em 2em;

    26 }

    27 

    28 .releaseno {

    29   background-color: rgb(110,139,61);

    30   color: rgb(255,236,176);

    31   padding-bottom: 0.3em;

    32   padding-top: 0.5em;

    33   text-align: center;

    34   font-weight: bold;

    35 }

    36 

    37 .noborder {

    38   border-width: 0px;

    39 }

    40 

    41 .eg {

    42   padding-left: 1em;

    43   padding-top: .5em;

    44   padding-bottom: .5em;

    45   border: solid thin;

    46   margin: 1em 0;

    47   background-color: tan;

    48   margin-left: 2em;

    49   margin-right: 10%;

    50 }

    51 

    52 .pseudocode {

    53   padding-left: 1em;

    54   padding-top: .5em;

    55   padding-bottom: .5em;

    56   border: solid thin;

    57   margin: 1em 0;

    58   background-color: rgb(250,220,180);

    59   margin-left: 2em;

    60   margin-right: 10%;

    61 }

    62 

    63 .handler {

    64   width: 100%;

    65   border-top-width: thin;  

    66   margin-bottom: 1em;

    67 }

    68 

    69 .handler p {

    70   margin-left: 2em;

    71 }

    72 

    73 .setter {

    74   font-weight: bold;

    75 }

    76 

    77 .signature {

    78   color: navy;

    79 }

    80 

    81 .fcndec {

    82   width: 100%;

    83   border-top-width: thin;

    84   font-weight: bold;

    85 }

    86 

    87 .fcndef {

    88   margin-left: 2em;

    89   margin-bottom: 2em;

    90 }

    91 

    92 dd {

    93   margin-bottom: 2em;

    94 }

    95 

    96 .cpp-symbols dt {

    97   font-family: monospace;

    98 }

    99 .cpp-symbols dd {

   100   margin-bottom: 1em;

   101 }