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