doc/style.css

   1 /* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */
   2
   3   body { border-width: medium;
   4     margin: 0pt;
   5     padding: 0pt;
   6     color: rgb(0, 0, 0);
   7     background-color: rgb(255, 255, 255);
   8     }
   9
  10   p, ul, ol, li { font-style: normal;
  11     font-variant: normal;
  12     font-weight: normal;
  13     line-height: normal;
  14     font-size-adjust: none;
  15     font-stretch: normal;
  16     font-size: 12pt;
  17     }
  18
  19   h1 { font-family: Arial,Helvetica,geneva;
  20     font-style: normal;
  21     font-variant: normal;
  22     font-weight: bold;
  23     line-height: normal;
  24     font-size-adjust: none;
  25     font-stretch: normal;
  26     font-size: 14pt;
  27     }
  28
  29   h2 { font-family: Arial,Helvetica,geneva;
  30     font-style: normal;
  31     font-variant: normal;
  32     font-weight: bold;
  33     font-size: 12pt;
  34     line-height: normal;
  35     font-size-adjust: none;
  36     font-stretch: normal;
  37     }
  38
  39   pre { padding: 5px;
  40     font-family: Courier New,Courier,monospace;
  41     color: rgb(0, 0, 0);
  42     text-align: left;
  43     font-weight: normal;
  44     margin-left: 0.5em;
  45     background-color: rgb(204, 204, 204);
  46     font-size: 11pt;
  47     width: auto;
  48     margin-right: 0pt;
  49     overflow: auto;
  50     }
  51
  52   #header { border-bottom: 3px solid rgb(204, 204, 204);
  53     padding-left: 17.5em;
  54     }
  55
  56   #leftnavigation { color: rgb(0, 0, 0);
  57     float: left;
  58     clear: both;
  59     padding-top: 1em;
  60     text-align: left;
  61     border-right-color: rgb(204, 204, 204);
  62     border-right-width: 1px;
  63     width: 17em;
  64     height: auto;
  65     overflow: hidden;
  66     background-color: rgb(255, 255, 255);
  67     }
  68
  69   #leftnavigation p, #leftnavigation ul, #leftnavigation li, #leftnavigation ol { margin: 0pt;
  70     font-family: Arial,Helvetica,sans-serif;
  71     list-style-type: none;
  72     font-weight: inherit;
  73     padding-left: 0.8em;
  74     line-height: 1.7;
  75     font-size: 10pt;
  76     background-color: transparent;
  77     }
  78
  79   #leftnavigation a:link { border-width: 1pt;
  80     font-weight: bold;
  81     text-align: left;
  82     background-color: transparent;
  83     padding-top: 2px;
  84     color: rgb(0, 0, 102);
  85     text-decoration: none;
  86     }
  87
  88   #leftnavigation a:visited { font-weight: bold;
  89     color: rgb(0, 0, 102);
  90     text-align: left;
  91     text-decoration: none;
  92     }
  93
  94   #leftnavigation a:hover { border-width: 1pt;
  95     text-align: left;
  96     padding-top: 2px;
  97     font-weight: bold;
  98     list-style-position: inside;
  99     color: rgb(153, 0, 0);
 100     text-decoration: underline;
 101     background-color: rgb(255, 255, 255);
 102     }
 103
 104   #leftnavigation a:active { font-weight: bold;
 105     text-align: left;
 106     color: rgb(153, 0, 0);
 107     text-decoration: underline;
 108     }
 109
 110   #content { border-left: 17.5em solid rgb(255, 255, 255);
 111     margin: 1em 0em 1em 0.5em;
 112     padding: 0em 0.5em 1em;
 113     border-right-color: rgb(255, 255, 255);
 114     color: rgb(0, 0, 0);
 115     font-family: Arial,Helvetica,sans-serif;
 116     border-right-width: 0.5em;
 117     width: auto;
 118     background-color: rgb(255, 255, 255);
 119     }
 120
 121   #content table { font-family: Arial,Helvetica,sans-serif;
 122     font-size: 10pt;
 123     }
 124
 125   #content a { font-family: Arial,Helvetica,sans-serif;
 126     font-size: 10pt;
 127     }
 128
 129   #content h1, #content h2 { font-size: 16px;
 130     color: rgb(153, 0, 0);
 131     font-family: Arial,Helvetica,sans-serif;
 132     margin-top: 2em;
 133     }
 134
 135   #content h3 { font-family: Arial,Helvetica,sans-serif;
 136     font-size: 11pt;
 137     }
 138
 139   #content h4 { border-width: 2pt;
 140     font-weight: bold;
 141     padding-top: 2px;
 142     padding-bottom: 2px;
 143     padding-left: 2px;
 144     color: rgb(0, 0, 0);
 145     line-height: 1.5;
 146     background-color: transparent;
 147     font-size: 11pt;
 148     font-family: Arial,Helvetica,sans-serif;
 149     border-top-style: solid;
 150     }
 151
 152   #content h5 { font-family: Arial,Helvetica,sans-serif;
 153     font-size: 11pt;
 154     margin-top: 1.5em;
 155     }
 156
 157   #content p, #content li, #content ul { font-family: Arial,Helvetica,sans-serif;
 158     font-size: 10pt;
 159     }
 160
 161   #footer { border-top: 3px solid rgb(204, 204, 204);
 162     margin: 0em;
 163     padding: 1em 1em 1em 0.5em;
 164     font-size: 1em;
 165     font-family: Arial,Helvetica,sans-serif;
 166     clear: both;
 167     float: none;
 168     }
 169
 170   #logo { max-width: 17em;
 171     background-color: transparent;
 172     position: absolute;
 173     }
 174
 175   #home2 { position: absolute;
 176     }
 177