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