docbook/ws.css

   1 /*
   2   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
   3   Derived from http://www.methods.co.nz/asciidoc/docbook-xsl.css
   4   $Id$
   5 */
   6
   7 span.strong {
   8   font-weight: bold;
   9 }
  10
  11 body blockquote {
  12   margin-top: .75em;
  13   line-height: 1.5;
  14   margin-bottom: .75em;
  15 }
  16
  17 html body {
  18   margin: 1em 5% 1em 5%;
  19   line-height: 1.2;
  20   font-family: "Times New Roman", Times, serif;
  21 }
  22
  23 body div {
  24   margin: 0;
  25 }
  26
  27 h1, h2, h3, h4, h5, h6,
  28 div.toc p b,
  29 div.list-of-figures p b,
  30 div.list-of-tables p b,
  31 div.abstract p.title
  32 {
  33   color: #004698;
  34   font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
  35 }
  36
  37 div.toc p:first-child,
  38 div.list-of-figures p:first-child,
  39 div.list-of-tables p:first-child,
  40 div.example p.title
  41 {
  42   margin-bottom: 0.2em;
  43 }
  44
  45 body h1 {
  46   font-size: 1.3em;
  47 }
  48
  49 body h2 {
  50   font-size: 1.2em;
  51 }
  52
  53 body h3 {
  54   font-size: 1.1em;
  55 }
  56
  57 body hr {
  58   border: none; /* Broken on IE6 */
  59 }
  60 div.footnotes hr {
  61   border: 1px solid silver;
  62 }
  63
  64 div.navheader th, div.navheader td, div.navfooter td {
  65   font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
  66   font-size: 0.9em;
  67   font-weight: bold;
  68   color: #004698;
  69 }
  70 div.navheader img, div.navfooter img {
  71   border-style: none;
  72 }
  73 div.navheader a, div.navfooter a {
  74   font-weight: normal;
  75 }
  76 div.navfooter hr {
  77   border: 1px solid silver;
  78 }
  79
  80 body td {
  81   line-height: 1.2
  82 }
  83
  84 body th {
  85   line-height: 1.2;
  86 }
  87
  88 ol {
  89   line-height: 1.2;
  90 }
  91
  92 ul, body dir, body menu {
  93   line-height: 1.2;
  94 }
  95
  96 html {
  97   margin: 0;
  98   padding: 0;
  99 }
 100
 101 body h1, body h2, body h3, body h4, body h5, body h6 {
 102   margin-left: 0
 103 }
 104
 105 body pre {
 106   margin: 0.5em 10% 0.5em 1em;
 107   line-height: 1.0;
 108   color: 333;
 109 }
 110
 111 pre, tt, code, .command {
 112   font-family: Menlo, Consolas, "Bitstream Vera Sans Mono", "Liberation Mono", monospace;
 113   font-size: 0.9em;
 114 }
 115
 116 tt.literal, code.literal {
 117   color: 333;
 118 }
 119
 120 .programlisting, .screen {
 121   border: 1px solid silver;
 122   background: #f4f4f4;
 123   margin: 0.5em 10% 0.5em 0;
 124   padding: 0.5em 1em;
 125 }
 126
 127 div.sidebar {
 128   background: #ffffee;
 129   margin: 1.0em 10% 0.5em 0;
 130   padding: 0.5em 1em;
 131   border: 1px solid silver;
 132 }
 133 div.sidebar * { padding: 0; }
 134 div.sidebar div { margin: 0; }
 135 div.sidebar p.title {
 136   font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
 137   margin-top: 0.5em;
 138   margin-bottom: 0.2em;
 139 }
 140
 141 div.bibliomixed {
 142   margin: 0.5em 5% 0.5em 1em;
 143 }
 144
 145 div.glossary dt {
 146   font-weight: bold;
 147 }
 148 div.glossary dd p {
 149   margin-top: 0.2em;
 150 }
 151
 152 dl {
 153   margin: .8em 0;
 154   line-height: 1.2;
 155 }
 156
 157 dt {
 158   margin-top: 0.5em;
 159 }
 160
 161 dt span.term {
 162   font-style: italic;
 163 }
 164
 165 div.variablelist dd p {
 166   margin-top: 0;
 167 }
 168
 169 div.itemizedlist li, div.orderedlist li {
 170   margin-left: -0.8em;
 171   margin-top: 0.5em;
 172 }
 173
 174 ul, ol {
 175     list-style-position: outside;
 176 }
 177
 178 div.sidebar ul, div.sidebar ol {
 179     margin-left: 2.8em;
 180 }
 181
 182 div.itemizedlist p.title,
 183 div.orderedlist p.title,
 184 div.variablelist p.title
 185 {
 186   margin-bottom: -0.8em;
 187 }
 188
 189 div.revhistory table {
 190   border-collapse: collapse;
 191   border: none;
 192 }
 193 div.revhistory th {
 194   border: none;
 195   color: #1f3b5e;
 196   font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
 197 }
 198 div.revhistory td {
 199   border: 1px solid silver;
 200 }
 201
 202 /* Keep TOC and index lines close together. */
 203 div.toc dl, div.toc dt,
 204 div.list-of-figures dl, div.list-of-figures dt,
 205 div.list-of-tables dl, div.list-of-tables dt,
 206 div.indexdiv dl, div.indexdiv dt
 207 {
 208   line-height: normal;
 209   margin-top: 0;
 210   margin-bottom: 0;
 211 }
 212
 213 /*
 214   Table styling does not work because of overriding attributes in
 215   generated HTML.
 216 */
 217 div.table table,
 218 div.informaltable table
 219 {
 220     margin-left: 0;
 221     margin-right: 5%;
 222     margin-bottom: 0.8em;
 223     border-collapse: collapse;
 224 }
 225 div.informaltable table
 226 {
 227     margin-top: 0.4em
 228 }
 229 div.table thead,
 230 div.table tfoot,
 231 div.table tbody,
 232 div.informaltable thead,
 233 div.informaltable tfoot,
 234 div.informaltable tbody
 235 {
 236     border-top: 2px solid #004698;
 237     border-bottom: 2px solid #004698;
 238 }
 239 div.table thead, div.table tfoot,
 240 div.informaltable thead, div.informaltable tfoot
 241 {
 242     font-weight: bold;
 243 }
 244
 245 th {
 246   text-align: left;
 247 }
 248
 249 div.table thead > tr > th,
 250 div.table tbody > tr > th,
 251 div.table thead > tr > td,
 252 div.table tbody > tr > td,
 253 div.informaltable thead > tr > th,
 254 div.informaltable tbody > tr > th,
 255 div.informaltable thead > tr > td,
 256 div.informaltable tbody > tr > td {
 257   border: 1px solid silver;
 258   padding: 0.4em;
 259   vertical-align: top;
 260 }
 261
 262 div.table thead > tr > th, div.informaltable thead > tr > th {
 263   vertical-align: bottom;
 264 }
 265
 266 div.mediaobject img {
 267     border: 1px solid silver;
 268     margin-bottom: 0.8em;
 269 }
 270 div.figure p.title,
 271 div.table p.title
 272 {
 273   margin-top: 1em;
 274   margin-bottom: 0.4em;
 275 }
 276
 277 @media print {
 278   div.navheader, div.navfooter { display: none; }
 279 }