Home | History | Annotate | Download | only in docs 
      1 
      2 @charset "iso-8859-1";
      3 
      4 /* Global settings. */
      5 
      6 body
      7 {
      8   background: #FFFFFF;
      9 }
     10 
     11 h1
     12 {
     13   text-align: center;
     14 }
     15 
     16 h2
     17 {
     18   text-align: center;
     19 }
     20 
     21 h3
     22 {
     23   background: #EEEEFF;
     24   padding: 10px;
     25 }
     26 
     27 h3 div
     28 {
     29   font-weight: normal;
     30   font-size: 80%;
     31   float: right;
     32 }
     33 
     34 table
     35 {
     36   width: 100%;
     37 }
     38 
     39 th
     40 {
     41   padding: 4px;
     42 }
     43 
     44 tr.disappeared td
     45 {
     46   background: #EEEEEE;
     47 }
     48 
     49 td
     50 {
     51   background: #EEEEFF;
     52   padding: 8px;
     53 }
     54 
     55 ul.spacious li
     56 {
     57   padding: 8px;
     58 }
     59 
     60 a
     61 {
     62   text-decoration: none;
     63 }
     64 
     65 img
     66 {
     67   border: none;
     68 }
     69 
     70 a.button {
     71   color: #000000;
     72   text-decoration: none;
     73   background: #E0E0E0;
     74   border: 1px outset #FFFFFF;
     75   float: right;
     76 }
     77 
     78 /* Settings for the introductory paragraph. */
     79 
     80 p.intro
     81 {
     82   background: #EEEEFF;
     83   padding: 10px;
     84   border: 1px solid #000000;
     85 }
     86 
     87 /* Settings for the title frame. */
     88 
     89 body.title
     90 {
     91   margin: 0px;
     92   padding: 0px;
     93   background: #C0C0C0;
     94 }
     95 
     96 div.title
     97 {
     98   height: 48px;
     99   margin: 0px;
    100   padding: 0px;
    101   border-width: 1px;
    102   border-style: solid;
    103   border-color: #FFFFFF #808080 #808080 #FFFFFF;
    104   background: url("steel.gif"); 
    105 }
    106 
    107 div.title h1
    108 {
    109   margin: 0px;
    110   padding: 0px;
    111   padding-top: 8px;
    112   padding-left: 40%;
    113   float: left;
    114 }
    115 
    116 div.title div
    117 {
    118   margin: 0px;
    119   padding: 0px;
    120   padding-top: 12px;
    121   padding-right: 20px;
    122   float: right;
    123 }
    124 
    125 /* Settings for the section frames. */
    126 
    127 body.navigation
    128 {
    129   margin: 0px;
    130   padding: 0px;
    131 }
    132 
    133 ul.navigation
    134 {
    135   margin: 0px;
    136   padding: 0px;
    137   list-style: none;
    138   text-align: center;
    139   background: url("steel.gif");
    140 }
    141 
    142 ul.navigation li
    143 {
    144   margin: 0px;
    145   padding: 0px;
    146   border-width: 1px;
    147   border-style: solid;
    148   border-color: #FFFFFF #808080 #808080 #FFFFFF;
    149   color: #000000;
    150   font-weight: bold;
    151 }
    152 
    153 ul.navigation li.title
    154 {
    155   margin: 0px;
    156   padding: 4px 10px;
    157   background: #E0E0E0;
    158 }
    159 
    160 ul.navigation li a
    161 {
    162   margin: 0px;
    163   padding: 6px 0px;
    164   background: transparent;
    165   color: #000000;
    166   text-decoration: none;
    167   display: block;
    168 }
    169 
    170 ul.navigation li a:hover,
    171 ul.navigation li a:focus
    172 {
    173   background: #FFFFFF;
    174 }
    175 
    176 /* Settings for the yellow note tables. */
    177 
    178 table.note
    179 {
    180   width: 408px;
    181   border: none;
    182   border-spacing: 0px;
    183 }
    184 
    185 td.shadow8
    186 {
    187   width: 8px;
    188   padding: 0px;
    189   margin: 0px;
    190   vertical-align: bottom;
    191   background: transparent;
    192 }
    193 
    194 td.shadow400
    195 {
    196   width: 400px;
    197   padding: 0px;
    198   margin: 0px;
    199   text-align: right;
    200   background: transparent;
    201 }
    202 
    203 td.note
    204 {
    205   width: 380px;
    206   background: #FFFFC0;
    207   padding: 0px;
    208   margin: 0px;
    209 }
    210 
    211 p.note
    212 {
    213   padding: 0px;
    214   margin: 0px 10px;
    215   text-align: center;
    216 }
    217 
    218 p.author
    219 {
    220   padding: 0px;
    221   margin: 0px 10px;
    222   text-align: right;
    223 }
    224