/* CSS stylesheet for XHTML produced by DocBook XSL stylesheets. Derived from http://www.methods.co.nz/asciidoc/docbook-xsl.css */ span.strong { font-weight: bold; } body blockquote { margin-top: .75em; line-height: 1.5; margin-bottom: .75em; } html body { margin: 1em 5% 1em 5%; line-height: 1.2; font-family: "Times New Roman", Times, serif; } body div { margin: 0; } h1, h2, h3, h4, h5, h6, div.toc p b, div.list-of-figures p b, div.list-of-tables p b, div.abstract p.title { color: #004698; font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif; } div.toc p:first-child, div.list-of-figures p:first-child, div.list-of-tables p:first-child, div.example p.title { margin-bottom: 0.2em; } body h1 { font-size: 1.3em; } body h2 { font-size: 1.2em; } body h3 { font-size: 1.1em; } body hr { border: none; /* Broken on IE6 */ } div.footnotes hr { border: 1px solid silver; } div.navheader th, div.navheader td, div.navfooter td { font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif; font-size: 0.9em; font-weight: bold; color: #004698; } div.navheader img, div.navfooter img { border-style: none; } div.navheader a, div.navfooter a { font-weight: normal; } div.navfooter hr { border: 1px solid silver; } body td { line-height: 1.2 } body th { line-height: 1.2; } ol { line-height: 1.2; } ul, body dir, body menu { line-height: 1.2; } html { margin: 0; padding: 0; } body h1, body h2, body h3, body h4, body h5, body h6 { margin-left: 0 } body pre { margin: 0.5em 10% 0.5em 1em; line-height: 1.4; color: 333; } pre, tt, code, .command { font-family: Menlo, Consolas, "Bitstream Vera Sans Mono", "Liberation Mono", monospace; font-size: 0.9em; } tt.literal, code.literal { color: 333; } .programlisting, .screen { border: 1px solid silver; background: #f4f4f4; margin: 0.5em 10% 0.5em 0; padding: 0.5em 1em; } .guibutton, .guimenu, .guisubmenu, .guimenuitem { font-weight: bold; } .keycap, .guimenu, .guisubmenu, .guimenuitem { border: 0.5px solid silver; padding-left: 0.25em; padding-right: 0.25em; } .keycap { border-radius: 0.25em; } div.sidebar { background: #ffffee; margin: 1.0em 10% 0.5em 0; padding: 0.5em 1em; border: 1px solid silver; } div.sidebar * { padding: 0; } div.sidebar div { margin: 0; } div.sidebar p.title { font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif; margin-top: 0.5em; margin-bottom: 0.2em; } div.bibliomixed { margin: 0.5em 5% 0.5em 1em; } div.glossary dt { font-weight: bold; } div.glossary dd p { margin-top: 0.2em; } dl { margin: .8em 0; line-height: 1.2; } dt { margin-top: 0.5em; } dt span.term { font-style: italic; } div.variablelist dd p { margin-top: 0; } div.itemizedlist li, div.orderedlist li { margin-left: -0.8em; margin-top: 0.5em; } ul, ol { list-style-position: outside; } div.sidebar ul, div.sidebar ol { margin-left: 2.8em; } div.itemizedlist p.title, div.orderedlist p.title, div.variablelist p.title { margin-bottom: -0.8em; } div.revhistory table { border-collapse: collapse; border-width: 0; } div.revhistory th { border: none; color: #1f3b5e; font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif; } div.revhistory td { border: 1px solid silver; } /* Keep TOC and index lines close together. */ div.toc dl, div.toc dt, div.list-of-figures dl, div.list-of-figures dt, div.list-of-tables dl, div.list-of-tables dt, div.indexdiv dl, div.indexdiv dt { line-height: normal; margin-top: 0; margin-bottom: 0; } /* Table styling does not work because of overriding attributes in generated HTML. */ div.table table, div.informaltable table { margin-left: 0; margin-right: 5%; margin-bottom: 0.8em; border-collapse: collapse; } div.informaltable table { margin-top: 0.4em } div.table thead, div.table tfoot, div.table tbody, div.informaltable thead, div.informaltable tfoot, div.informaltable tbody { border-top: 2px solid #004698; border-bottom: 2px solid #004698; } div.table thead, div.table tfoot, div.informaltable thead, div.informaltable tfoot { font-weight: bold; } th { text-align: left; } div.table thead > tr > th, div.table tbody > tr > th, div.table thead > tr > td, div.table tbody > tr > td, div.informaltable thead > tr > th, div.informaltable tbody > tr > th, div.informaltable thead > tr > td, div.informaltable tbody > tr > td { border: 1px solid silver; padding: 0.4em; vertical-align: top; } div.table thead > tr > th, div.informaltable thead > tr > th { vertical-align: bottom; } div.figure p.title, div.table p.title { margin-top: 1em; margin-bottom: 0.4em; } @media print { div.navheader, div.navfooter { display: none; } }