style.css

   1 /* font recommendation courtesy of pickle of forums.devnetwork.net */
   2 body {
   3   margin:0 0 3em 0;
   4   padding:0;
   5   font-family:Georgia,serif;
   6   font-size:10.5pt;
   7   background-color:#F9F9FF;
   8 }
   9 /* we can't use img#logo, because in IE < 7 it transmutates into a span */
  10 #logo {
  11   float:left;
  12   margin:0.5em;
  13 }
  14 #header {
  15   margin:0 0 0.3em 0;
  16   padding:0.5em;
  17   background-color:#BCC8D8;
  18   font-family:Georgia;
  19   font-weight:normal;
  20   font-variant:small-caps;
  21   letter-spacing:0.2em;
  22   font-size:2em;
  23   border-bottom:1px solid #8393AF;
  24 }
  25 #header a {text-decoration:none;}
  26 #header a:hover .html {color:#8196B5;}
  27 #header a:hover .purifier {color:#F0F2F6;}
  28 #header .html {color:#3C578C;}
  29 #header .purifier {color:#FFF;}
  30
  31 h1#title {
  32   text-align:right;
  33   float:right;
  34   margin:0.5em 2em 0;
  35 }
  36
  37 #content {
  38   margin:4em;
  39 }
  40
  41 p {
  42   margin:0;
  43   text-indent:2em;
  44 }
  45 p.lead{
  46   text-indent:0;
  47 }
  48
  49 blockquote.digression{
  50   margin-left:4em;
  51   margin-right:4em;
  52   font:11pt Helvetica, sans-serif;
  53 }
  54 blockquote.quote {float:right; margin:0; padding:1em;
  55   border-top:2px solid #3C578C; border-bottom:2px solid #3C578C;
  56   font-style:italic; width:35%; text-align:center;
  57   -moz-border-radius-topleft:3em;
  58   -moz-border-radius-topright:3em;
  59   -moz-border-radius-bottomleft:3em;
  60   -moz-border-radius-bottomright:3em; }
  61 blockquote.quote .attribution {font-style:normal;margin-top:0.3em;}
  62
  63 #navigation {
  64   float:right;
  65   margin:4em 2em 2em 2em;
  66   border:1px solid #BCC8D8;
  67   padding:0.5em 1em 1em;
  68   background-color:#FFF;
  69   font-variant:small-caps;
  70 }
  71 #navigation ol {
  72   padding:0;
  73   margin:1em;
  74 }
  75 #navigation li {
  76   list-style-type:none;
  77   display:block;
  78   margin:.5em 0;
  79   text-align:center;
  80 }
  81 .nest {
  82   list-style-type:none;
  83 }
  84 pre {
  85   margin-left:4em;
  86 }
  87 pre.command:before {
  88   content:"$ ";
  89   font-weight:bold;
  90 }
  91 .download {
  92   font-weight:bold;
  93 }
  94 acronym {text-transform:lowercase;font-variant:small-caps;}
  95 a acronym {border-bottom:none;}
  96 form {margin:1em 0;}
  97
  98 table {
  99   margin:1em;
 100 }
 101 table thead th {border-bottom:1px solid #3C578C;}
 102 table td, table th {
 103     padding:0 .4em;
 104 }
 105
 106 table.summary {
 107   margin-left:auto;margin-right:auto;
 108 }
 109 table.summary th {
 110   text-align:right;
 111   padding-right:1em;
 112   width:50%;
 113 }
 114 .wide-table {
 115     width:100%;
 116 }
 117 .wide-table td, .wide-table th {white-space:nowrap;}
 118
 119 .impl-yes {background:#9D9;}
 120 .impl-no {background:#E88;}
 121 .impl-partial {background:#FFA;}
 122 .impl-almostyes {background:#CEC;}
 123
 124 ol.notes {
 125   font-size:8pt;
 126 }
 127
 128 /* Table of Contents styling, currently only supports up to h3 */
 129
 130 #toc ol ol { list-style-type:lower-alpha; }
 131
 132 #toc ol > li:before {content:counter(h2) ". "; counter-increment:h2; margin-right:1em;}
 133 #toc > #innertoc ol {counter-reset:h2; list-style-type:none;}
 134 #toc ol ol > li:before {content:counter(h2) "." counter(h3) ". "; margin-right:1em; counter-increment:h3;}
 135 #toc > #innertoc ol ol {counter-reset:h3; list-style-type:none;}