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