doclib/senf.css

   1 body {
   2         padding: 0;
   3         margin: 0;
   4         font-family: Verdana, Arial, Helvetica, sans-serif;
   5         font-size: 10pt;
   6 }
   7
   8 #head {
   9         height: 62px;
  10         border-top: 5px solid #DECD40;
  11         border-bottom: 1px solid #AF9D00;
  12         background: url(logo-head.png) top left no-repeat;
  13         background-color: #EDE497;
  14 }
  15
  16 #title {
  17         height: 39px;
  18         background-color: #DECD40;
  19         border-bottom: 1px solid #AF9D00;
  20         margin: 0 0 0 100px;
  21 }
  22
  23 #title2 {
  24         padding: 0 0 0 42px;
  25         max-width: 62em;
  26         margin: 0 10px 0 0;
  27 }
  28
  29 #head h1 {
  30         margin: 0;
  31         padding: 6px 0 0 0;
  32         font-size: 22px;
  33         font-weight: bold;
  34         color: white;
  35         white-space: nowrap;
  36         text-align: left;
  37 }
  38
  39 #subtitle {
  40         margin: 0 10px 0 100px;
  41         padding: 4px 0 0 42px;
  42         height: 18px;
  43         max-width: 62em;
  44         background-color: #EDE497;
  45         color: #726921;
  46 }
  47
  48 #head h2 {
  49         margin: 0;
  50         padding: 0;
  51         font-size: 13px;
  52         font-weight: normal;
  53         white-space: nowrap;
  54 }
  55
  56 #head ul {
  57         display: inline; /* f�r IE ... */
  58         font-size: 13px;
  59         height: 0px;
  60         margin: 0;
  61         padding: 0;
  62 }
  63
  64 #head li {
  65         list-style-type: none;
  66         margin: 0 0 0 10px;
  67         padding: 0 10px 0 0;
  68         float: right;
  69         border-right: 1px solid #726921;
  70         height: 14px;
  71 }
  72
  73 #head li:first-child {
  74         border-right: none;
  75         padding: 0;
  76 }
  77
  78 #head a {
  79         font-weight: normal;
  80         color: #726921;
  81 }
  82
  83 #head a:hover {
  84         background-color: #EDE497;
  85         text-decoration: underline;
  86 }
  87
  88 #search {
  89         float: right;
  90         width: 150px;
  91         height: 39px;
  92         font-size: 10px;
  93         color: #726921;
  94 }
  95
  96 #search input {
  97         display: block;
  98         height: 16px;
  99         border: 1px solid #AF9D00;
 100         width: 100%;
 101 }
 102
 103 #search form {
 104         margin: 0;
 105         padding: 0;
 106 }
 107
 108 #content1 {
 109         padding: 0 10px 10px 0;
 110         border-bottom: 1px solid #AF9D00;
 111 }
 112
 113 #content2 {
 114         /* need non-zero top padding here to prevent margin propagation */
 115         padding: 10px 0 0 142px;
 116         max-width: 62em;
 117 }
 118
 119 a {
 120         font-weight: bold;
 121         text-decoration: none;
 122 }
 123
 124 a.literal {
 125         font-weight: normal;
 126 }
 127
 128 a.ext {
 129         font-style: italic;
 130 }
 131
 132 a.anchor {
 133         color: inherit;
 134         background-color: white !important;
 135 }
 136
 137 div.tabs {
 138         display: inline; /* IE double margin fix */
 139         float: left;
 140         clear: left;
 141         background-color: #FDF7C3;
 142         border: 1px solid #AF9D00;
 143         margin: 0 0 10px -132px;
 144         width: 120px;
 145         overflow: hidden;
 146 }
 147
 148 * html div.tabs {
 149         margin-bottom: 0; /* Grmpf .. IE6 is f**ing up ... */
 150 }
 151
 152 div.tabs ul {
 153         margin: 0;
 154         padding: 0;
 155         list-style-type: none;
 156 }
 157
 158 div.tabs ul li {
 159         display: inline;
 160 }
 161
 162 div.tabs ul li a {
 163         display: block;
 164         padding: 2px 5px;
 165         font-size: 13px;
 166         color: #726921;
 167         text-decoration: none;
 168         white-space: nowrap;
 169         font-weight: normal;
 170 }
 171
 172 div.tabs ul li a:visited, div.tabs ul li a:active {
 173         color: #726921;
 174         text-decoration: none;
 175 }
 176
 177 div.tabs li.current a {
 178         background-position: 100% -150px;
 179         border-width: 0px;
 180 }
 181
 182 div.tabs li.current span {
 183         background-position: 0% -150px;
 184         padding-bottom: 6px;
 185 }
 186
 187 div.tabs ul li a:hover, div.tabs ul li.current a, div.tabs ul.glossary li a:hover {
 188         color: #726921;
 189         text-decoration: none;
 190         background-color: #EDE497;
 191 }
 192
 193 div.tabs ul li.level1 a {
 194         padding-left: 1.5em;
 195         font-size: 90%;
 196 }
 197
 198 div.tabs ul.glossary li a {
 199         background-color: #FDF7C3;
 200 }
 201
 202 div.tabs ul.glossary li.glossary a {
 203         background-color: #EDE497;
 204 }
 205
 206 #footer {
 207         clear: both;
 208         padding: 4px 10px 4px 142px;
 209         color: #726921;
 210         white-space: nowrap;
 211         text-align: right;
 212         max-width: 62em;
 213 }
 214
 215 #footer span {
 216         font-size: 10px;
 217 }
 218
 219 #footer a, #footer a:active, #footer a:visited {
 220         color: #726921;
 221         text-decoration: none;
 222 }
 223
 224 #footer a:hover {
 225         background-color: inherit;
 226         text-decoration: underline;
 227 }
 228
 229 dl.attention {
 230         border: 1px solid #AADD88;
 231         background-color: #EEFFDD;
 232         padding: 4px;
 233 }
 234
 235 dl.warning {
 236         border: 1px solid #DDAA88;
 237         background-color: #FFEEDD;
 238         padding: 4px;
 239 }
 240
 241 dl.note {
 242         border: 1px solid A0C2C2;
 243         background-color: #F0F8F8;
 244         padding: 4px;
 245 }
 246
 247 table.packet {
 248         width: 95%;
 249         margin: 10pt auto;
 250         border: 1px solid #AAAAAA;
 251         padding: 2px;
 252         border-spacing: 0;
 253                 white-space: nowrap;
 254                 text-align: center;
 255                 table-layout: fixed;
 256 }
 257
 258 table.packet td,th {
 259         border: 2px solid white;
 260         background-color: #EEEEEE;
 261         padding: 6px 4px;
 262 }
 263
 264 table.packet th {
 265         background-color: white;
 266         text-align: left;
 267                 font-weight: normal;
 268         padding: 0px;
 269 }
 270
 271 table.senf {
 272         width: 95%;
 273         margin: 10pt auto;
 274         border: 1px solid #AAAAAA;
 275         padding: 2px;
 276         border-spacing: 0;
 277 }
 278
 279 table.senf td,th {
 280         border: 2px solid white;
 281         background-color: #EEEEEE;
 282         padding: 2px 4px;
 283         text-align: left;
 284         vertical-align: top;
 285 }
 286
 287 table.senf th {
 288         background-color: #DDDDDD;
 289         text-align: center;
 290         font-weight: bold;
 291 }
 292
 293 table.ebnf {
 294         margin: 0;
 295         padding: 0;
 296         border-spacing: 0;
 297         border: none;
 298         font-size: 120%; /* ????????  Why is THIS needed ?? */
 299 }
 300
 301 table.ebnf td {
 302         text-align: left;
 303         border: none;
 304         padding: 0;
 305 }
 306
 307 table.ebnf td:first-child {
 308         width: 1%;
 309         padding-right: 1ex;
 310         font-style: italic;
 311 }
 312
 313 table.listing {
 314         margin: 10pt 0;
 315         padding: 0;
 316         border-spacing: 0;
 317         border: none;
 318         font-size: 120%; /* ????????  Why is THIS needed ?? */
 319 }
 320
 321 table.listing td {
 322         text-align: left;
 323         vertical-align: top;
 324         border: none;
 325         padding: 0 0 3pt 0;
 326 }
 327
 328 table.listing td:first-child {
 329         width: 35%;
 330 }
 331
 332 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
 333         border: 1px solid #CC8888;
 334         padding: 2px 3px;
 335         margin: 4px 8px 4px 2px;
 336         background-color: #FFEEEE;
 337         color: #666666;
 338         font-size: 75%;
 339         overflow: hidden;
 340 }
 341
 342 dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
 343 dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd {
 344         display: inline;
 345         margin: 0;
 346         padding: 0;
 347 }
 348
 349 dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
 350         color: #6666FF;
 351 }
 352
 353 dl.xref-fix {
 354         border-color: #CCCC88;
 355         background-color: #FFFFEE;
 356 }
 357
 358 dl.xref-todo {
 359         border-color: #88CC88;
 360         background-color: #EEFFEE;
 361 }
 362
 363 dl.xref-idea {
 364         border-color:  #CCCCCC;
 365         background-color: #F8F8F8;
 366 }
 367
 368 div.bug, div.fixme, div.todo, div.idea {
 369         padding-left: 10px;
 370 }
 371
 372 div.bug {
 373         border-left: 10px solid red;
 374 }
 375
 376 div.fixme {
 377         border-left: 10px solid yellow;
 378 }
 379
 380 div.todo {
 381         border-left: 10px solid green;
 382 }
 383
 384 div.idea {
 385         border-left: 10px solid #AAAAAA;
 386 }
 387
 388 dl.implementation {
 389         color: #666666;
 390         font-size: 75%;
 391 }
 392
 393 p.memtitle {
 394         color: #1a41a8;
 395         font-weight: bold;
 396         margin-right: 14px;
 397         border-bottom: 1px solid #84b0c7;
 398 }
 399
 400 p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
 401 p.implementedin {
 402         color: #666666;
 403         font-size: 75%;
 404         margin-bottom: .2em;
 405         margin-top: .2em;
 406 }
 407
 408 div.memdoc p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin,
 409 p.implementedin {
 410         margin-left: 10em;
 411         text-indent: -4em;
 412 }
 413
 414 div.memproto {
 415         margin-bottom: .5em;
 416 }
 417
 418 table {
 419         width: 100%;
 420 }
 421
 422 div.ah {
 423         margin-right: 10px;
 424 }
 425
 426 div.nav {
 427         width: auto;
 428         background-color: white;
 429         border: none;
 430         border-bottom: 1px solid #AF9D00;
 431         padding: 5px 0;
 432         margin: 0;
 433 }
 434
 435 div.qindex {
 436         width: auto;
 437         background-color: #e8eef2;
 438         border: 1px solid #84b0c7;
 439         text-align: center;
 440         margin: 2px 0;
 441         padding: 2px;
 442         line-height: 140%;
 443 }
 444
 445 dl.parameters dd table {
 446         width: auto;
 447 }
 448
 449 table.glossary {
 450         border: none;
 451         border-spacing: 0;
 452         margin: 10px 0;
 453 }
 454
 455 table.glossary tr td {
 456         border: none;
 457         border-bottom: 4px solid white;
 458         vertical-align: top;
 459         padding: 2px 4px;
 460         background-color: #F0F0F0;
 461 }
 462
 463 table.glossary tr td:first-child {
 464         font-weight: bold;
 465         white-space: nowrap;
 466         padding-right: 10px;
 467 }
 468
 469 table.members td:first-child {
 470         width: 35%;
 471 }
 472
 473 div.toc {
 474         width: 25%;
 475         margin: 10px 0px;
 476 }
 477
 478 div.toc ol {
 479         padding: 0px;
 480         margin: 0pt 0pt 0pt 40px;
 481         list-style-type: decimal;
 482 }
 483
 484 div.toc li {
 485         padding: none;
 486 }
 487
 488 div.toc div {
 489         margin: 10px 0px;
 490         font-weight: bold;
 491         font-size: 120%;
 492 }
 493
 494 p.commalist {
 495         white-space: nowrap;
 496         margin-left: 4em;
 497         text-indent: -4em;
 498 }
 499
 500 #autotoc h1 {
 501         font-size: 120%;
 502         text-align: left;
 503 }
 504
 505 #autotoc ul {
 506         list-style-type: none;
 507         padding: 0;
 508         margin: 1em 0 1em 2em;
 509 }
 510
 511 #autotoc ul li.level_h2 {
 512         margin: .5em 0 .2em 0;
 513 }
 514
 515 #autotoc ul li.level_h3 {
 516         margin-left: 1.5em;
 517 }
 518
 519 #autotoc ul li.level_h4 {
 520         margin-left: 3em;
 521 }
 522
 523 /* \f
 524  * Local Variables:
 525  * indent-tabs-mode: nil
 526  * ispell-local-dictionary: "american"
 527  * End:
 528  */