www/main.css

   1 body {
   2         margin: 0px;
   3         padding: 0px;
   4         color: #333;
   5         background-color: #ffe;
   6         font: 11pt verdana,helvetica,sans-serif;
   7 }
   8
   9 img {
  10         border-width: 0px;
  11 }
  12
  13 a {
  14         color:#a33;
  15         text-decoration: None;
  16 }
  17
  18 a:hover {
  19         text-decoration: underline;
  20 }
  21
  22 /* page layout */
  23
  24 /* background needed when neither navigation nor content fill the available
  25  * vertical space (it's a workaround for browsers which do not support
  26  * min-height properly) */
  27 #background {
  28         position: absolute;
  29         top: 0px;
  30         left: 0px;
  31         width: 200px;
  32         height: 100%;
  33         border-right: 1px solid #88a;
  34         background-color: #eed;
  35         z-index: 1;
  36 }
  37
  38 #navigation {
  39         position: absolute;
  40         top: 0px;
  41         left: 0px;
  42         width: 200px;
  43         border-right: 1px solid #88a;
  44         background-color: #eed;
  45         z-index: 3;
  46 }
  47
  48 /* the content is placed into a wrapper to enlarge
  49    the navigation area to the size of the content */
  50
  51 #contentwrapper {
  52         min-width: 700px;
  53         top: 0px;
  54         left: 0px;
  55         border-left: 200px solid #eed;
  56         z-index: 2;
  57 }
  58
  59 #content {
  60         padding-left: 25px;
  61         padding-right: 25px;
  62         border-left: 1px solid #88a;
  63 }
  64
  65 /* navigation elements */
  66
  67 #navigation .logo {
  68         margin-top: 20px;
  69         margin-left: 39px;
  70 }
  71
  72 #navigation .box {
  73         width: 140px;
  74         margin-top: 20px;
  75         margin-left: 19px;
  76         padding: 10px;
  77         border: 1px dashed #88a;
  78         background-color: #dcf;
  79 }
  80
  81 #navigation .title {
  82         margin-bottom: 10px;
  83         border-bottom: 1px solid #88a;
  84         font-size: 13pt;
  85         font-weight: bolder;
  86 }
  87
  88 #navigation .link {
  89         font-size: 10pt;
  90 }
  91
  92 #navigation .sublink {
  93         margin-left: 10px;
  94         font-size: 10pt;
  95 }
  96
  97 #navigation .sflink {
  98         padding-top: 60px;
  99         padding-left: 56px;
 100         padding-bottom: 20px;
 101 }
 102
 103 #navigation .w3clink {
 104         padding-left: 58px;
 105         padding-bottom: 20px;
 106 }
 107
 108 /* content elements */
 109
 110 #content h1 {
 111         padding: 0px;
 112         margin: 0px;
 113         margin-top: 15px;
 114         margin-bottom: 15px;
 115         padding-bottom: 3px;
 116         border-bottom: 1px solid #88a;
 117         font-size: 18pt;
 118         font-weight: bolder;
 119 }
 120
 121 #content h2 {
 122         padding: 0px;
 123         margin: 0px;
 124         padding-bottom: 10px;
 125         font-size: 14pt;
 126         font-weight: bolder;
 127 }
 128
 129 #content h3 {
 130         padding: 0px;
 131         margin: 0px;
 132         padding-bottom: 10px;
 133         font-size: 12pt;
 134         font-weight: bold;
 135 }
 136
 137 #content .image {
 138         margin-left: 10px;
 139         margin-bottom: 10px;
 140         padding: 10px;
 141         border: 1px dashed #88a;
 142         background-color: #eed;
 143         float:right;
 144         font-size: 9pt;
 145         text-align: center;
 146         font-style: italic;
 147 }
 148
 149 #content p {
 150         padding: 0px;
 151         margin: 0px;
 152         padding-bottom: 10pt;
 153 }
 154
 155 #content dl {
 156         padding: 0px;
 157         margin: 0px;
 158 }
 159
 160 #content dt {
 161         padding: 0px;
 162         margin: 0px;
 163         padding-bottom: 5pt;
 164         font-weight: bold;
 165 }
 166
 167 #content dd {
 168         padding: 0px;
 169         margin: 0px;
 170         padding-left: 25px;
 171         padding-bottom: 15pt;
 172 }
 173
 174 #content ul {
 175         padding: 0px;
 176         margin: 0px;
 177         padding-left: 25px;
 178         padding-bottom: 15pt;
 179 }
 180
 181 #content li {
 182         padding: 0px;
 183         margin: 0px;
 184 }
 185
 186 #content .tablepar {
 187         padding: 0px;
 188         margin: 0px;
 189         padding-bottom: 15pt;
 190 }
 191
 192 #content .tablehead {
 193         background-color: #dcf;
 194 }
 195
 196 #content .examplenavigations {
 197         float: right;
 198 }
 199
 200 #content .examplenavigation {
 201         margin-left: 15px;
 202 }
 203
 204 #content .exampleseparator {
 205         margin-bottom: 15px;
 206         border-bottom: 1px solid #88a;
 207         clear: both;
 208 }
 209
 210 #content .exampledownloads {
 211         float: right;
 212 }
 213
 214 #content .exampledownload {
 215         margin-left: 10px;
 216         text-align: center;
 217         float: left;
 218 }
 219
 220 #content .exampledownloadsize {
 221         font-size: 8pt;
 222 }
 223
 224 #content .examplethumbnail {
 225         padding-left: 15px;
 226         padding-bottom: 15px;
 227         text-align: center;
 228         float: right;
 229 }
 230
 231 #content .examplebend {
 232         padding-right: 5px;
 233         float: left;
 234 }
 235
 236 #content .exampleimage {
 237         padding-bottom: 15px;
 238         text-align: center;
 239         clear: both;
 240 }
 241
 242 #content .examplecode {
 243         padding-bottom: 15px;
 244 }
 245
 246 #content .codeindent {
 247         padding-left: 50px;
 248 }
 249
 250 /* python syntax */
 251
 252 #python .number {
 253         color: #08c;
 254 }
 255
 256 #python .op {
 257         color: #00c;
 258 }
 259
 260 #python .string {
 261         color: #048;
 262 }
 263
 264 #python .comment {
 265         color: #080;
 266 }
 267
 268 #python .name {
 269         color: #000;
 270 }
 271
 272 #python .keyword {
 273         color: #c00;
 274 }
 275