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   color:#000;
   9 }
  10 /* we can't use img#logo, because in IE < 7 it transmutates into a span */
  11 #logo {
  12   float:left;
  13   margin:0.5em;
  14 }
  15 #header {
  16   margin:0 0 0.3em 0;
  17   padding:0.5em;
  18   background-color:#BCC8D8;
  19   color:#FFF;
  20   font-family:Georgia, serif;
  21   font-weight:normal;
  22   font-variant:small-caps;
  23   letter-spacing:0.2em;
  24   font-size:2em;
  25   border-bottom:1px solid #8393AF;
  26 }
  27 #header a {text-decoration:none;}
  28 #header a:hover .html {background-color:#BCC8D8;color:#8196B5;}
  29 #header a:hover .purifier {background-color:#BCC8D8;color:#F0F2F6;}
  30 #header .html {background-color:#BCC8D8;color:#3C578C;}
  31 #header .purifier {background-color:#BCC8D8;color:#FFF;}
  32
  33 h1#title {
  34   text-align:right;
  35   float:right;
  36   margin:0.5em 2em 0;
  37 }
  38
  39 #content {margin: 1em 4em;clear:left;}
  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
  55 #navigation {
  56     clear:left;
  57     margin:0 5em;
  58   text-align:center;
  59 }
  60 #navigation h2 {display:none;}
  61 #navigation ol {
  62   padding:0;
  63   margin:0;
  64 }
  65 #navigation li {
  66   margin:0 .4em;
  67   display:inline;
  68 }
  69
  70 #filter fieldset, #filter legend {background:#586F9C; color:#FFF; border:0;}
  71 #filter legend {padding:0.4em; font-weight:bold;}
  72 #filter textarea {width:100%;}
  73
  74 .nest {
  75   list-style-type:none;
  76 }
  77 pre {
  78   margin-left:4em;
  79 }
  80 pre.command:before {
  81   content:"$ ";
  82   font-weight:bold;
  83 }
  84 .download {
  85   font-weight:bold;
  86 }
  87 acronym {text-transform:lowercase;font-variant:small-caps;}
  88 a acronym {border-bottom:none;}
  89 form {margin:1em 0;}
  90
  91 table {
  92   margin:1em;
  93 }
  94 table thead th {border-bottom:1px solid #3C578C;}
  95 table td, table th {
  96     padding:0 .4em;
  97 }
  98
  99 table.summary {width:25em;
 100   margin-left:auto;margin-right:auto;border-collapse:collapse;
 101   border: 1px solid #3C578C;background-color:#FFF;color:#000;
 102 }
 103 table.summary th, table.summary td {margin:0;padding:.1em;}
 104 table.summary td {padding-left:1em;}
 105 table.summary th {
 106   text-align:right;
 107   padding-right:1em;
 108   width:50%;
 109   border-right:1px solid #3C578C;
 110 }
 111 .wide-table {
 112     width:100%;
 113 }
 114 .wide-table td, .wide-table th {white-space:nowrap;}
 115
 116 .impl-yes {background:#9D9;color:#000;}
 117 .impl-no {background:#E88;color:#000;}
 118 .impl-partial {background:#FFA;color:#000;}
 119 .impl-almostyes {background:#CEC;color:#000;}
 120 .impl-irrelevant {background:#9D9;color:#000;}
 121
 122 ol.notes {
 123   font-size:8pt;
 124 }
 125
 126 blockquote.fancy {
 127   background: transparent url(quote-left.png) left top no-repeat;
 128 }
 129 blockquote.fancy div.quote {
 130   padding: .5em 48px .5em;
 131   background: transparent url(quote-right.png) right bottom no-repeat;
 132 }
 133 blockquote.fancy div.origin {
 134   text-align:right;
 135 }
 136
 137 .disclaimer, .warning {
 138     margin:1em 3em; border:1px solid #F00; background:#FBB; padding:1em;
 139 }
 140
 141 .warning h2 {color:#911; font-weight:bold;margin:0 0 .5em 0;}
 142 .warning p {text-indent:0;}
 143
 144 .download-button, .compare-button {
 145     margin:0.5em; border:0;
 146 }
 147
 148 .download-button {float:right; margin-left:1em;}
 149 .compare-button {float:left; margin-right:1em; margin-left:0;}
 150
 151 #toc ul { list-style-type:none; }
 152 #toc .toc-label {float:left; text-align:right; width:2em; padding-right:.5em;}
 153
 154 .news .item {border-bottom:1px solid #BCC8D8; padding-bottom:1em;}
 155 .news .title {margin-bottom:0;}
 156 .news .date {margin-bottom:1em; font-style:italic; font-size:10pt; margin-left:2em;}
 157 .news .body {}