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   background: #F8F8F8;
    132 }
    133 
    134 ul.navigation
    135 {
    136   margin: 0px;
    137   padding: 0px;
    138   list-style: none;
    139   text-align: center;
    140   background: url("steel.gif");
    141 }
    142 
    143 ul.navigation li
    144 {
    145   margin: 0px;
    146   padding: 0px;
    147   border-width: 1px;
    148   border-style: solid;
    149   border-color: #FFFFFF #808080 #808080 #FFFFFF;
    150   color: #000000;
    151   font-weight: bold;
    152 }
    153 
    154 ul.navigation li.title
    155 {
    156   margin: 0px;
    157   padding: 4px 10px;
    158   background: #E0E0E0;
    159 }
    160 
    161 ul.navigation li a
    162 {
    163   margin: 0px;
    164   padding: 6px 0px;
    165   background: transparent;
    166   color: #000000;
    167   text-decoration: none;
    168   display: block;
    169 }
    170 
    171 ul.navigation li a:hover,
    172 ul.navigation li a:focus
    173 {
    174   background: #FFFFFF;
    175 }
    176 
    177 /* Settings for the yellow note tables. */
    178 
    179 table.note
    180 {
    181   width: 408px;
    182   border: none;
    183   border-spacing: 0px;
    184 }
    185 
    186 td.shadow8
    187 {
    188   width: 8px;
    189   padding: 0px;
    190   margin: 0px;
    191   vertical-align: bottom;
    192   background: transparent;
    193 }
    194 
    195 td.shadow400
    196 {
    197   width: 400px;
    198   padding: 0px;
    199   margin: 0px;
    200   text-align: right;
    201   background: transparent;
    202 }
    203 
    204 td.note
    205 {
    206   width: 380px;
    207   background: #FFFFC0;
    208   padding: 0px;
    209   margin: 0px;
    210 }
    211 
    212 p.note
    213 {
    214   padding: 0px;
    215   margin: 0px 10px;
    216   text-align: center;
    217 }
    218 
    219 p.author
    220 {
    221   padding: 0px;
    222   margin: 0px 10px;
    223   text-align: right;
    224 }
    225