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 a.largebutton {
     79   font-weight: bold;
     80   color: #000000;
     81   margin: 0px;
     82   padding: 10px;
     83   background: url("steel.gif");
     84   text-decoration: none;
     85   border: 1px outset #FFFFFF;
     86 }
     87 
     88 /* Settings for the introductory paragraph. */
     89 
     90 p.intro
     91 {
     92   background: #EEEEFF;
     93   padding: 10px;
     94   border: 1px solid #000000;
     95 }
     96 
     97 /* Settings for the title frame. */
     98 
     99 body.title
    100 {
    101   margin: 0px;
    102   padding: 0px;
    103   background: #C0C0C0;
    104 }
    105 
    106 div.title
    107 {
    108   height: 48px;
    109   margin: 0px;
    110   padding: 0px;
    111   border-width: 1px;
    112   border-style: solid;
    113   border-color: #FFFFFF #808080 #808080 #FFFFFF;
    114   background: url("steel.gif"); 
    115 }
    116 
    117 div.title h1
    118 {
    119   margin: 0px;
    120   padding: 0px;
    121   padding-top: 8px;
    122   padding-left: 40%;
    123   float: left;
    124 }
    125 
    126 div.title div
    127 {
    128   margin: 0px;
    129   padding: 0px;
    130   padding-top: 12px;
    131   padding-right: 20px;
    132   float: right;
    133 }
    134 
    135 /* Settings for the section frames. */
    136 
    137 body.navigation
    138 {
    139   margin: 0px;
    140   padding: 0px;
    141   background: #F8F8F8;
    142 }
    143 
    144 ul.navigation
    145 {
    146   margin: 0px;
    147   padding: 0px;
    148   list-style: none;
    149   text-align: center;
    150   background: url("steel.gif");
    151 }
    152 
    153 ul.navigation li
    154 {
    155   margin: 0px;
    156   padding: 0px;
    157   border-width: 1px;
    158   border-style: solid;
    159   border-color: #FFFFFF #808080 #808080 #FFFFFF;
    160   color: #000000;
    161   font-weight: bold;
    162 }
    163 
    164 ul.navigation li.title
    165 {
    166   margin: 0px;
    167   padding: 4px 10px;
    168   background: #E0E0E0;
    169 }
    170 
    171 ul.navigation li a
    172 {
    173   margin: 0px;
    174   padding: 6px 0px;
    175   background: transparent;
    176   color: #000000;
    177   text-decoration: none;
    178   display: block;
    179 }
    180 
    181 ul.navigation li a:hover,
    182 ul.navigation li a:focus
    183 {
    184   background: #FFFFFF;
    185 }
    186 
    187 /* Settings for the yellow note tables. */
    188 
    189 table.note
    190 {
    191   width: 408px;
    192   border: none;
    193   border-spacing: 0px;
    194 }
    195 
    196 td.shadow8
    197 {
    198   width: 8px;
    199   padding: 0px;
    200   margin: 0px;
    201   vertical-align: bottom;
    202   background: transparent;
    203 }
    204 
    205 td.shadow400
    206 {
    207   width: 400px;
    208   padding: 0px;
    209   margin: 0px;
    210   text-align: right;
    211   background: transparent;
    212 }
    213 
    214 td.note
    215 {
    216   width: 380px;
    217   background: #FFFFC0;
    218   padding: 0px;
    219   margin: 0px;
    220 }
    221 
    222 p.note
    223 {
    224   padding: 0px;
    225   margin: 0px 10px;
    226   text-align: center;
    227 }
    228 
    229 p.author
    230 {
    231   padding: 0px;
    232   margin: 0px 10px;
    233   text-align: right;
    234 }
    235