rubbos/app/httpd-2.0.64/docs/manual/style/css/manual.css

   1 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   2  * manual.css
   3  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
   4
   5 /* Licensed to the Apache Software Foundation (ASF) under one or more
   6  * contributor license agreements.  See the NOTICE file distributed with
   7  * this work for additional information regarding copyright ownership.
   8  * The ASF licenses this file to You under the Apache License, Version 2.0
   9  * (the "License"); you may not use this file except in compliance with
  10  * the License.  You may obtain a copy of the License at
  11  *
  12  *     http://www.apache.org/licenses/LICENSE-2.0
  13  *
  14  * Unless required by applicable law or agreed to in writing, software
  15  * distributed under the License is distributed on an "AS IS" BASIS,
  16  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  17  * See the License for the specific language governing permissions and
  18  * limitations under the License.
  19  */
  20
  21 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  22  * mainframe ;-)
  23  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  24 html {
  25     font-size: 14px;
  26 }
  27
  28 body {
  29     background-color: #fff;
  30     color: #036;
  31     padding: 0 1em 0 0;
  32     margin: 0;
  33     font-family: Arial, Helvetica, sans-serif;
  34     font-weight: normal;
  35 }
  36
  37 pre, code {
  38     font-family: "Courier New", Courier, monospace;
  39 }
  40
  41 strong {
  42     font-weight: bold;
  43 }
  44
  45 q, em, var {
  46     font-style: italic;
  47 }
  48
  49 span.transnote, span.phonetic {
  50     font-weight: normal;
  51     background-color: inherit;
  52     color: #888;
  53 }
  54
  55 /* fixup IE & Opera
  56  * otherwise they forget to inherit
  57  * the computed font-size value
  58  */
  59 table, code {
  60     font-size: 1em;
  61 }
  62
  63 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  64  * Links
  65  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
  66
  67 /* normal links           */
  68 /* ====================== */
  69 a:link {
  70     color: #0073c7;
  71     background-color: inherit;
  72 }
  73
  74 a:visited {
  75     color: #5A88B5;
  76     background-color: inherit;
  77 }
  78
  79 a:link:hover,
  80 a:link:active,
  81 a:visited:hover,
  82 a:visited:active {
  83     color: #0073c7;
  84     background-color: #f0f0f0;
  85 }
  86
  87 /* hover on non-white backgrounds */
  88 tr.odd a:hover,
  89 tr.odd a:active,
  90 tr.header a:hover,
  91 tr.header a:active,
  92 div.note a:hover,
  93 div.note a:active,
  94 div.example a:hover,
  95 div.example a:active,
  96 div.warning a:hover,
  97 div.warning a:active,
  98 div#quickview a:hover,
  99 div#quickview a:active {
 100     background-color: #fff;
 101     color: #0073c7;
 102 }
 103
 104 /* code.module [links]    */
 105 /* ====================== */
 106 code.module,
 107 code.module a:link {
 108     color: #8b4513;
 109     background-color: inherit;
 110 }
 111
 112 code.module a:visited {
 113     color: #bc8f8f;
 114     background-color: inherit;
 115 }
 116
 117 code.module a:hover,
 118 code.module a:active {
 119     color: #8b4513;
 120     background-color: #f0f0f0;
 121 }
 122
 123 /* hover on non-white backgrounds */
 124 tr.odd code.module a:hover,
 125 tr.odd code.module a:active,
 126 tr.header code.module a:hover,
 127 tr.header code.module a:active,
 128 div.note code.module a:hover,
 129 div.note code.module a:active,
 130 div.example code.module a:hover,
 131 div.example code.module a:active,
 132 div.warning code.module a:hover,
 133 div.warning code.module a:active,
 134 div#quickview code.module a:hover,
 135 div#quickview code.module a:active {
 136     background-color: #fff;
 137     color: #8b4513;
 138 }
 139
 140 /* code.directive [links] */
 141 /* ====================== */
 142 code.directive,
 143 code.directive a:link {
 144     color: #287f00;
 145     background-color: inherit;
 146 }
 147
 148 code.directive a:visited {
 149     color: #35a500;
 150     background-color: inherit;
 151 }
 152
 153 code.directive a:hover,
 154 code.directive a:active {
 155     color: #287f00;
 156     background-color: #f0f0f0;
 157 }
 158
 159 /* hover on non-white backgrounds */
 160 tr.odd code.directive a:hover,
 161 tr.odd code.directive a:active,
 162 tr.header code.directive a:hover,
 163 tr.header code.directive a:active,
 164 div.note code.directive a:hover,
 165 div.note code.directive a:active,
 166 div.example code.directive a:hover,
 167 div.example code.directive a:active,
 168 div.warning code.directive a:hover,
 169 div.warning code.directive a:active,
 170 div#quickview code.directive a:hover,
 171 div#quickview code.directive a:active {
 172     background-color: #fff;
 173     color: #287f00;
 174 }
 175
 176 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 177  * Headings
 178  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 179
 180 /* h1                     */
 181 /* ====================== */
 182 h1 {
 183     padding: 0.2em;
 184     margin: 0;
 185     border: 1px solid #405871;
 186     background-color: inherit;
 187     color: #036;
 188     text-decoration: none;
 189     font-size: 22px;
 190     font-weight: bold;
 191 }
 192
 193 /* h2                     */
 194 /* ====================== */
 195 h2 {
 196     padding: 0.2em 0 0.2em 0.7em;
 197     margin: 0 0 0.5em 0;
 198     text-decoration: none;
 199     font-size: 18px;
 200     font-weight: bold;
 201 }
 202
 203 .section h2 {
 204     background-color: #405871;
 205     color: #fff;
 206 }
 207
 208 .directive-section h2 {
 209     background-color: #557697;
 210     color: #fff;
 211 }
 212
 213 .category h2 {
 214     background-color: #e5ecf3;
 215     color: #405871;
 216     font-size: 14px;
 217 }
 218
 219 /* take care of <a name>s inside */
 220 h2 a,
 221 h2 a:hover,
 222 h2 a:active {
 223     color: inherit;
 224     background-color: inherit;
 225     text-decoration: none;
 226 }
 227
 228 /* h3, h4                 */
 229 /* ====================== */
 230 h3 {
 231     background-color: inherit;
 232     color: #036;
 233     text-decoration: none;
 234     font-weight: bold;
 235     font-size: 16px;
 236     margin: 1.3em 0 0.4em 0;
 237     padding: 0;
 238 }
 239
 240 h4 {
 241     background-color: inherit;
 242     color: #036;
 243     text-decoration: none;
 244     font-weight: bold;
 245     font-size: 14px;
 246     margin: 1.3em 0 0.2em 0;
 247     padding: 0;
 248 }
 249
 250 /* margin adjustment */
 251 h3 + *, h4 + * {
 252     margin-top: 0;
 253 }
 254
 255 /* IE confuses the + * :-(
 256  * so reset some things
 257  */
 258 ul, .section table, .directive-section table {
 259     margin-bottom: 1em;
 260 }
 261
 262 /* titles for
 263  * examples, notes and warnings
 264  */
 265 div.example h3,
 266 div.note h3,
 267 div.warning h3 {
 268     margin: 0 0 0.5em 0;
 269     text-align: left;
 270     font-size: 14px;
 271 }
 272
 273 /* sidebar */
 274 div#quickview h3 {
 275     margin: 1em 0 0.3em 0.5em;
 276     font-size: 15px;
 277 }
 278
 279 div#quickview h3.directives {
 280     margin-top: 0.3em;
 281 }
 282
 283 /* take care of <a name>s inside */
 284 h3 a,
 285 h3 a:hover,
 286 h3 a:active,
 287 h4 a,
 288 h4 a:hover,
 289 h4 a:active {
 290     color: inherit;
 291     background-color: inherit;
 292     text-decoration: none;
 293 }
 294
 295 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 296  * Up & Top helper images
 297  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 298
 299 /* arrow left             */
 300 /* ====================== */
 301 div.up {
 302     width: 30px;
 303     height: 20px;
 304     padding: 0;
 305     margin: -20px 0 1px 0;
 306     text-align: center;
 307     vertical-align: top;
 308 }
 309
 310 div.up img {
 311     vertical-align: top;
 312     width: 11px;
 313     height: 11px;
 314     border-style: none;
 315 }
 316
 317 /* arrow up (to page top) */
 318 /* ====================== */
 319 div.top {
 320     width: 30px;
 321     padding: 0 0 0 30px;
 322     margin: 0;
 323 }
 324
 325 div.top img {
 326     margin-top: 0.5em;
 327     vertical-align: bottom;
 328     width: 11px;
 329     height: 11px;
 330     border-style: none;
 331 }
 332
 333 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 334  * Tables
 335  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 336
 337 /* general                */
 338 /* ====================== */
 339 table {
 340     border: 1px solid #aaa;
 341     border-collapse: collapse;
 342     padding: 2px;
 343     margin-top: 0.5em;
 344     margin-bottom: 0;
 345 }
 346
 347 td, th {
 348     empty-cells: show; /* show border around empty cells */
 349     padding: 0.1em 0.2em;
 350     vertical-align: top;
 351     text-align: left;
 352     line-height: 1.3em;
 353 }
 354
 355 th {
 356     font-weight: bold;
 357 }
 358
 359 td.centered {
 360     text-align: center;
 361 }
 362
 363 td.data {
 364     font-family: monospace;
 365     text-align: right;
 366     padding-left: 1em;
 367 }
 368
 369 th.data {
 370     text-align: right;
 371 }
 372
 373 tr.odd { /* for large tables alternating colors */
 374     background-color: #f2f2f2;
 375 }
 376
 377 tr.header, tr.header th {
 378     background-color: #e2e2e2;
 379     border-top: 1px solid #aaa;
 380     border-bottom: 1px solid #aaa;
 381 }
 382
 383 /* bordered table cells   */
 384 /* ====================== */
 385
 386 /* turn off borders in tables nested in
 387  * bordered tables per default
 388  */
 389 table.bordered table td,
 390 table.bordered table th {
 391     border-style: none;
 392 }
 393
 394 table.bordered td,
 395 table.bordered th,
 396 table table.bordered td,
 397 table table.bordered th {
 398     border: 1px solid #aaa;
 399 }
 400
 401 /* index page layout table */
 402 /* ======================= */
 403 body#index-page div#page-content {
 404     width: 100%; /* IE fun */
 405 }
 406
 407 body[id]#index-page div#page-content {
 408     width: auto; /* reasonable browsers. */
 409 }
 410
 411 table#indextable {
 412     width: 100%;
 413     border-collapse: collapse;
 414     border: 0 none;
 415 }
 416
 417 table#indextable td {
 418     width: 33.3%;
 419     border-left: 1px solid #aaa;
 420     padding-top: 0;
 421     padding-bottom: 0;
 422 }
 423
 424 table#indextable td.col1 {
 425     border-left: 0 none;
 426     padding-left: 0;
 427 }
 428
 429 table#indextable td.col3 {
 430     padding-right: 0;
 431 }
 432
 433 /* mod/dir. overview table and quick reference  */
 434 /* ============================================ */
 435 table.module th,
 436 table.directive th {
 437     white-space: nowrap;
 438 }
 439
 440 table.qref {
 441     border-collapse: collapse;
 442     width: 100%;
 443 }
 444
 445 table.qref td {
 446     border-style: none solid;
 447     border-color: #aaa;
 448     border-width: 1px;
 449 }
 450
 451 table.qref td.descr {
 452     padding-left: 1em;
 453     font-size: 13px;
 454 }
 455
 456 table#legend {
 457     width: 100%;
 458     border-style: none;
 459     border-width: 0;
 460     vertical-align: bottom;
 461     padding: 0;
 462     margin: 0;
 463 }
 464
 465 table#legend td {
 466     vertical-align: bottom;
 467     margin: 0;
 468     padding: 0;
 469 }
 470
 471 table#legend td.letters {
 472     width: 100%;
 473     padding-bottom: 0.5em;
 474 }
 475
 476 table#legend table {
 477     vertical-align: bottom;
 478     margin: 0 0 0 0.4em;
 479     padding: 0;
 480     height: 7.5em;
 481 }
 482
 483 table#legend table td,
 484 table#legend table th {
 485     vertical-align: middle;
 486     padding: 0.1ex 0.2em;
 487     line-height: 1em;
 488     white-space: nowrap;
 489 }
 490
 491 /* related modules & dir. */
 492 /* ====================== */
 493
 494 /* assuming, all links are enclosed by
 495  * <code class="directive"> or
 496  * <code class="module">
 497  */
 498
 499 table.related {
 500     border-collapse: separate;
 501 }
 502
 503 table.related th {
 504     padding: 0.2ex 0.3em;
 505     background-color: #e5ecf3;
 506     color: #405871;
 507     vertical-align: middle;
 508 }
 509
 510 table.related td {
 511     padding: 0.2ex 0.3em;
 512 }
 513
 514 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 515  * Lists
 516  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 517
 518 /* list default values    */
 519 /* ====================== */
 520 ul {
 521     list-style-type: disc;
 522 }
 523
 524 ul ul {
 525     list-style-type: square;
 526 }
 527
 528 ul ul ul {
 529     list-style-type: circle;
 530 }
 531
 532 li, dt, dd {
 533     line-height: 1.3em;
 534 }
 535
 536 dt {
 537     margin-top: 0.5em;
 538     font-weight: bold;
 539 }
 540
 541 ol li {
 542     margin-top: 0.5em;
 543 }
 544
 545 ol.up-A {
 546     list-style-type: upper-alpha;
 547 }
 548
 549 ol.lo-A {
 550     list-style-type: lower-alpha;
 551 }
 552
 553 dd.separate {
 554     margin-bottom: 2em;
 555 }
 556
 557 li.separate {
 558     margin-bottom: 1em;
 559 }
 560
 561 /* table of contents      */
 562 /* ====================== */
 563 #toc,
 564 #topics {
 565     margin: 0 0 1em 0;
 566     padding: 0;
 567 }
 568
 569 #toc li,
 570 #topics li {
 571     list-style-type: none;
 572     margin: 0;
 573     padding: 0;
 574 }
 575
 576 /* see also               */
 577 /* ====================== */
 578 .seealso {
 579     margin: 0 0 1em 0;
 580     padding: 0;
 581 }
 582
 583 .seealso li {
 584     list-style-type: none;
 585     margin: 0;
 586     padding: 0 0 0 34px;
 587 }
 588
 589 /* related modules & dir. */
 590 /* ====================== */
 591 table.related td ul,
 592 table.related td li {
 593     list-style-type: none;
 594     margin: 0;
 595     padding: 0;
 596 }
 597
 598 /* list of all directives */
 599 /* ====================== */
 600 div#directive-list ul {
 601     margin: 0;
 602     padding: 0;
 603 }
 604
 605 /* indextable */
 606 /* ========== */
 607 table#indextable td ul {
 608     list-style-type: none;
 609     margin: 0 0 1em 0.5em;
 610     padding: 0 0 0 0;
 611 }
 612
 613 table#indextable td ul li {
 614     margin-top: 0.3em;
 615 }
 616
 617 /* sidebar                */
 618 /* ====================== */
 619 div#quickview li {
 620     font-size: 13px;
 621 }
 622
 623 div#quickview ul {
 624     margin: 0 0 15px 0;
 625     padding: 0;
 626 }
 627
 628 div#quickview ul#toc {
 629     margin: 0 0 0 0.5em;
 630     padding: 0;
 631 }
 632
 633 #module-index div#quickview ul#toc,
 634 #manual-page div#quickview ul#toc {
 635     margin-left: 0;
 636 }
 637
 638 div#quickview ul#toc li {
 639     margin: 0;
 640     padding: 0;
 641     list-style-type: none;
 642 }
 643
 644 div#quickview li img {
 645     display: none;
 646 }
 647
 648 #module-index div#quickview ul#toc,
 649 #manual-page div#quickview ul#toc,
 650 div#quickview #topics,
 651 div#quickview .seealso {
 652     padding-left: 15px;
 653 }
 654
 655 #module-index div#quickview ul#toc li,
 656 #manual-page div#quickview ul#toc li,
 657 div#quickview #topics li,
 658 div#quickview .seealso li {
 659     margin: 0.4em 0 2px 0;
 660     padding: 0;
 661     list-style-type: square;
 662     list-style-position: outside;
 663 }
 664
 665 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 666  * main page sections
 667  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 668
 669 /* page header            */
 670 /* ====================== */
 671 div#page-header {
 672     margin-left: 30px;
 673 }
 674
 675 div#page-header img {
 676     padding: 0;
 677     display: block;
 678     margin: -70px 0 1px 2em;
 679     width: 248px;
 680     height: 70px;
 681 }
 682
 683 div#page-header p.apache {
 684     background-color: #405871;
 685     color: #fff;
 686     padding: 0 0 0 248px;
 687     margin: 0;
 688     text-align: center;
 689     vertical-align: middle;
 690     font-size: 16px;
 691     font-weight: bold;
 692     line-height: 29px;
 693 }
 694
 695 div#page-header p.menu {
 696     text-align: right;
 697     font-size: 13px;
 698     margin: 30px 0 0.5em 0;
 699     padding: 0;
 700 }
 701
 702 /* breadcrumb navigation */
 703 div#path {
 704     margin: 0.2em 0 1.2em 30px;
 705     padding: 0;
 706     font-size: 13px;
 707 }
 708
 709 /* content sections       */
 710 /* ====================== */
 711 div#preamble {
 712     padding-bottom: 1em;
 713     margin-left: 30px;
 714 }
 715
 716 div.section,
 717 div.directive-section {
 718     margin: -1.2em 0 0 60px;
 719     padding: 0;
 720 }
 721
 722 .section p,
 723 .directive-section p {
 724     margin: 0 0 1em 0;
 725     padding: 0;
 726 }
 727
 728 /* look for this on directive
 729  * list pages
 730  */
 731 div#directive-list {
 732     margin-left: 30px;
 733     padding: 0 0 1em 1em;
 734 }
 735
 736 div#directive-ref {
 737     margin: -1em 0 0 0;
 738     padding: 0 0 1em 30px;
 739     width: 100%; /* IE is BAD (broken as designed) */
 740 }
 741
 742 div[id]#directive-ref { /* a big sorry to ICab, Amaya (and old Konquerors?) */
 743     width: auto; /* other browsers are fine ;-) */
 744 }
 745
 746 /* sidebar position: right */
 747 div#quickview {
 748     position: absolute;
 749     top: 5.5em;
 750     right: 1em;
 751     margin-left: 0;
 752     margin-top: 40px;
 753     padding: 4px;
 754     width: 13.5em;
 755     background-color: #f0f0f0;
 756     color: inherit;
 757 }
 758
 759 /* -> move content left */
 760 div#page-content {
 761     padding-top: 0;
 762     margin-right: 13em;
 763     padding-right: 30px;
 764 }
 765
 766 /* unsqueeze on some pages... */
 767 body.no-sidebar div#page-content,
 768 body#index-page div#page-content {
 769     margin-right: 0;
 770     padding-right: 0;
 771 }
 772
 773 body#index-page div#page-content {
 774     margin-left: 30px;
 775     padding-bottom: 1em;
 776 }
 777
 778 /* in general */
 779 p {
 780     line-height: 1.3em;
 781 }
 782
 783 /* translations           */
 784 /* ====================== */
 785 .toplang {
 786     padding: 0;
 787     margin: 0.2em 0.2em 1em 0;
 788 }
 789
 790 .bottomlang {
 791     padding: 0;
 792     margin: 0 0.2em 0.2em 0;
 793 }
 794
 795 .toplang p,
 796 .bottomlang p {
 797     font-size: 13px;
 798     text-align: right;
 799     background-color: inherit;
 800     color: #ccc;
 801     margin: 0;
 802     padding: 0;
 803 }
 804
 805 .toplang p span,
 806 .bottomlang p span {
 807     background-color: inherit;
 808     color: #036;
 809 }
 810
 811 .toplang p a:link,
 812 .toplang p a:visited,
 813 .bottomlang p a:link,
 814 .bottomlang p a:visited {
 815     text-decoration: none;
 816     font-weight: bold;
 817 }
 818
 819 .toplang p a:hover,
 820 .toplang p a:active,
 821 .bottomlang p a:hover,
 822 .bottomlang p a:active {
 823     font-weight: bold;
 824 }
 825
 826 /* page footer            */
 827 /* ====================== */
 828 div#footer {
 829     margin-left: 30px;
 830     font-size: 13px;
 831     border-top: 1px solid #405871;
 832     padding-top: 0.2em;
 833 }
 834
 835 div#footer p.apache {
 836     float: left;
 837     text-align: left;
 838     padding: 0 0 1em 0;
 839     margin-top: 0;
 840 }
 841
 842 div#footer p.menu {
 843     float: right;
 844     text-align: right;
 845     margin-top: 0;
 846     padding: 0 0 1em 0;
 847 }
 848
 849 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 850  * subsections (examples, notes, warnings)
 851  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 852
 853 /* examples               */
 854 /* ====================== */
 855 div.example {
 856     background-color: #e5ecf3;
 857     color: #000;
 858     padding: 0.5em;
 859     margin: 1em 2em 1em 1em;
 860 }
 861
 862 /* example inside a note:
 863  * blue in gray doesn't look good
 864  * so simply draw a border around
 865  * and keep it gray
 866  */
 867 div.note div.example,
 868 div.warning div.example {
 869     border: 1px solid #aaa;
 870     background-color: transparent;
 871     color: inherit;
 872     margin-right: 1em;
 873 }
 874
 875 /* example inside table */
 876 table div.example {
 877     margin-right: 1em;
 878 }
 879
 880 /* the following [block] elements
 881  * may appear inside example...
 882  */
 883 div.example p,
 884 div.example pre,
 885 div.example table {
 886     padding: 0;
 887     margin: 0;
 888 }
 889
 890 div.example p {
 891     line-height: 1em;
 892 }
 893
 894 div.example pre,
 895 div.example p > code {
 896     font-size: 13px;
 897 }
 898
 899 /* notes & warnings       */
 900 /* ====================== */
 901 div.note,
 902 div.warning {
 903     background-color: #eee;
 904     color: #036;
 905     padding: 0.5em;
 906     margin: 1em 2em 1em 1em;
 907 }
 908
 909 div.warning {
 910     border: 1px solid #f00;
 911 }
 912
 913 div.note p,
 914 div.warning p {
 915     margin: 0.5em 0 0 0;
 916     padding: 0;
 917 }
 918
 919 div.note pre,
 920 div.warning pre {
 921     font-size: 13px;
 922 }
 923
 924 /* inside table */
 925 table div.note,
 926 table div.warning {
 927     margin-right: 1em;
 928 }
 929
 930 div.outofdate {
 931     background-color: #ffffe0;
 932     color: #036;
 933     padding: 0.5em;
 934     margin: 1em 2em 1em 1em;
 935 }
 936
 937 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 938  * quotations, indented paragraphs, forms and figures
 939  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 940 p.letters {
 941     margin: 1em 0 0 0;
 942 }
 943
 944 p.centered {
 945     text-align: center;
 946 }
 947
 948 .letters {
 949     text-align: center;
 950     background-color: inherit;
 951     color: #ccc;
 952 }
 953
 954 .letters a:link,
 955 .letters a:visited {
 956     text-decoration: none;
 957     font-weight: bold;
 958 }
 959
 960 .letters a:hover,
 961 .letters a:active {
 962     font-weight: bold;
 963 }
 964
 965 blockquote p {
 966     font-style: italic;
 967     margin: 0;
 968 }
 969
 970 blockquote p.cite {
 971     font-style: normal;
 972     margin-top: 0;
 973     margin-left: 2em;
 974 }
 975
 976 blockquote p.cite cite {
 977     font-style: normal;
 978 }
 979
 980 p.indent {
 981     margin-left: 2em;
 982     margin-top: 1em;
 983 }
 984
 985 span.indent {
 986     padding-left: 1.5em;
 987     display: block;
 988 }
 989
 990 #index-page form {
 991     text-align: center;
 992 }
 993
 994 #index-page form p {
 995     line-height: 1.1em;
 996 }
 997
 998 #index-page form input {
 999     font-size: 1em;
1000 }
1001
1002 p.figure {
1003     margin-left: 2em;
1004     font-style: italic;
1005 }
1006
1007 p.figure img {
1008     border: 1px solid #aaa;
1009 }
1010
1011 p.figure dfn {
1012     font-weight: bold;
1013 }
1014
1015 /* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1016  * -> The End <-
1017  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */