Home | History | Annotate | Download | only in doc
      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 }
    102