doc/css/docbook-xsl.css

   1 /*
   2   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
   3 */
   4
   5 body {
   6   font-family: Georgia,serif;
   7 }
   8
   9 code, pre {
  10   font-family: "Courier New", Courier, monospace;
  11 }
  12
  13 span.strong {
  14   font-weight: bold;
  15 }
  16
  17 body blockquote {
  18   margin-top: .75em;
  19   line-height: 1.5;
  20   margin-bottom: .75em;
  21 }
  22
  23 html body {
  24   margin: 1em 5% 1em 5%;
  25   line-height: 1.2;
  26 }
  27
  28 body div {
  29   margin: 0;
  30 }
  31
  32 h1, h2, h3, h4, h5, h6
  33 {
  34   color: #527bbd;
  35   font-family: Arial,Helvetica,sans-serif;
  36 }
  37
  38 div.toc p:first-child,
  39 div.list-of-figures p:first-child,
  40 div.list-of-tables p:first-child,
  41 div.list-of-examples p:first-child,
  42 div.example p.title,
  43 div.sidebar p.title
  44 {
  45   font-weight: bold;
  46   color: #527bbd;
  47   font-family: Arial,Helvetica,sans-serif;
  48   margin-bottom: 0.2em;
  49 }
  50
  51 body h1 {
  52   margin: .0em 0 0 -4%;
  53   line-height: 1.3;
  54   border-bottom: 2px solid silver;
  55 }
  56
  57 body h2 {
  58   margin: 0.5em 0 0 -4%;
  59   line-height: 1.3;
  60   border-bottom: 2px solid silver;
  61 }
  62
  63 body h3 {
  64   margin: .8em 0 0 -3%;
  65   line-height: 1.3;
  66 }
  67
  68 body h4 {
  69   margin: .8em 0 0 -3%;
  70   line-height: 1.3;
  71 }
  72
  73 body h5 {
  74   margin: .8em 0 0 -2%;
  75   line-height: 1.3;
  76 }
  77
  78 body h6 {
  79   margin: .8em 0 0 -1%;
  80   line-height: 1.3;
  81 }
  82
  83 body hr {
  84   border: none; /* Broken on IE6 */
  85 }
  86 div.footnotes hr {
  87   border: 1px solid silver;
  88 }
  89
  90 div.navheader th, div.navheader td, div.navfooter td {
  91   font-family: Arial,Helvetica,sans-serif;
  92   font-size: 0.9em;
  93   font-weight: bold;
  94   color: #527bbd;
  95 }
  96 div.navheader img, div.navfooter img {
  97   border-style: none;
  98 }
  99 div.navheader a, div.navfooter a {
 100   font-weight: normal;
 101 }
 102 div.navfooter hr {
 103   border: 1px solid silver;
 104 }
 105
 106 body td {
 107   line-height: 1.2
 108 }
 109
 110 body th {
 111   line-height: 1.2;
 112 }
 113
 114 ol {
 115   line-height: 1.2;
 116 }
 117
 118 ul, body dir, body menu {
 119   line-height: 1.2;
 120 }
 121
 122 html {
 123   margin: 0;
 124   padding: 0;
 125 }
 126
 127 body h1, body h2, body h3, body h4, body h5, body h6 {
 128   margin-left: 0
 129 }
 130
 131 body pre {
 132   margin: 0.5em 10% 0.5em 1em;
 133   line-height: 1.0;
 134   color: navy;
 135 }
 136
 137 tt.literal, code.literal {
 138   color: navy;
 139 }
 140
 141 .programlisting, .screen {
 142   border: 1px solid silver;
 143   background: #f4f4f4;
 144   margin: 0.5em 10% 0.5em 0;
 145   padding: 0.5em 1em;
 146 }
 147
 148 div.sidebar {
 149   background: #ffffee;
 150   margin: 1.0em 10% 0.5em 0;
 151   padding: 0.5em 1em;
 152   border: 1px solid silver;
 153 }
 154 div.sidebar * { padding: 0; }
 155 div.sidebar div { margin: 0; }
 156 div.sidebar p.title {
 157   margin-top: 0.5em;
 158   margin-bottom: 0.2em;
 159 }
 160
 161 div.bibliomixed {
 162   margin: 0.5em 5% 0.5em 1em;
 163 }
 164
 165 div.glossary dt {
 166   font-weight: bold;
 167 }
 168 div.glossary dd p {
 169   margin-top: 0.2em;
 170 }
 171
 172 dl {
 173   margin: .8em 0;
 174   line-height: 1.2;
 175 }
 176
 177 dt {
 178   margin-top: 0.5em;
 179 }
 180
 181 dt span.term {
 182   font-style: normal;
 183   color: navy;
 184 }
 185
 186 div.variablelist dd p {
 187   margin-top: 0;
 188 }
 189
 190 div.itemizedlist li, div.orderedlist li {
 191   margin-left: -0.8em;
 192   margin-top: 0.5em;
 193 }
 194
 195 ul, ol {
 196     list-style-position: outside;
 197 }
 198
 199 div.sidebar ul, div.sidebar ol {
 200     margin-left: 2.8em;
 201 }
 202
 203 div.itemizedlist p.title,
 204 div.orderedlist p.title,
 205 div.variablelist p.title
 206 {
 207   margin-bottom: -0.8em;
 208 }
 209
 210 div.revhistory table {
 211   border-collapse: collapse;
 212   border: none;
 213 }
 214 div.revhistory th {
 215   border: none;
 216   color: #527bbd;
 217   font-family: Arial,Helvetica,sans-serif;
 218 }
 219 div.revhistory td {
 220   border: 1px solid silver;
 221 }
 222
 223 /* Keep TOC and index lines close together. */
 224 div.toc dl, div.toc dt,
 225 div.list-of-figures dl, div.list-of-figures dt,
 226 div.list-of-tables dl, div.list-of-tables dt,
 227 div.indexdiv dl, div.indexdiv dt
 228 {
 229   line-height: normal;
 230   margin-top: 0;
 231   margin-bottom: 0;
 232 }
 233
 234 /*
 235   Table styling does not work because of overriding attributes in
 236   generated HTML.
 237 */
 238 div.table table,
 239 div.informaltable table
 240 {
 241     margin-left: 0;
 242     margin-right: 5%;
 243     margin-bottom: 0.8em;
 244 }
 245 div.informaltable table
 246 {
 247     margin-top: 0.4em
 248 }
 249 div.table thead,
 250 div.table tfoot,
 251 div.table tbody,
 252 div.informaltable thead,
 253 div.informaltable tfoot,
 254 div.informaltable tbody
 255 {
 256     /* No effect in IE6. */
 257     border-top: 3px solid #527bbd;
 258     border-bottom: 3px solid #527bbd;
 259 }
 260 div.table thead, div.table tfoot,
 261 div.informaltable thead, div.informaltable tfoot
 262 {
 263     font-weight: bold;
 264 }
 265
 266 div.mediaobject img {
 267     margin-bottom: 0.8em;
 268 }
 269 div.figure p.title,
 270 div.table p.title
 271 {
 272   margin-top: 1em;
 273   margin-bottom: 0.4em;
 274 }
 275
 276 div.calloutlist p
 277 {
 278   margin-top: 0em;
 279   margin-bottom: 0.4em;
 280 }
 281
 282 a img {
 283   border-style: none;
 284 }
 285
 286 @media print {
 287   div.navheader, div.navfooter { display: none; }
 288 }
 289
 290 span.aqua { color: aqua; }
 291 span.black { color: black; }
 292 span.blue { color: blue; }
 293 span.fuchsia { color: fuchsia; }
 294 span.gray { color: gray; }
 295 span.green { color: green; }
 296 span.lime { color: lime; }
 297 span.maroon { color: maroon; }
 298 span.navy { color: navy; }
 299 span.olive { color: olive; }
 300 span.purple { color: purple; }
 301 span.red { color: red; }
 302 span.silver { color: silver; }
 303 span.teal { color: teal; }
 304 span.white { color: white; }
 305 span.yellow { color: yellow; }
 306
 307 span.aqua-background { background: aqua; }
 308 span.black-background { background: black; }
 309 span.blue-background { background: blue; }
 310 span.fuchsia-background { background: fuchsia; }
 311 span.gray-background { background: gray; }
 312 span.green-background { background: green; }
 313 span.lime-background { background: lime; }
 314 span.maroon-background { background: maroon; }
 315 span.navy-background { background: navy; }
 316 span.olive-background { background: olive; }
 317 span.purple-background { background: purple; }
 318 span.red-background { background: red; }
 319 span.silver-background { background: silver; }
 320 span.teal-background { background: teal; }
 321 span.white-background { background: white; }
 322 span.yellow-background { background: yellow; }
 323
 324 span.big { font-size: 2em; }
 325 span.small { font-size: 0.6em; }
 326
 327 span.underline { text-decoration: underline; }
 328 span.overline { text-decoration: overline; }
 329 span.line-through { text-decoration: line-through; }