2008-01-11 18:52:13 +00:00
|
|
|
/*
|
|
|
|
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;
|
2013-05-29 17:58:01 +00:00
|
|
|
font-family: "Times New Roman", Times, serif;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
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
|
|
|
|
{
|
2013-05-29 17:58:01 +00:00
|
|
|
color: #004698;
|
|
|
|
font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
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 {
|
2010-02-04 00:19:00 +00:00
|
|
|
font-size: 1.3em;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
body h2 {
|
2010-02-04 00:19:00 +00:00
|
|
|
font-size: 1.2em;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
body h3 {
|
2010-02-04 00:19:00 +00:00
|
|
|
font-size: 1.1em;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
body hr {
|
|
|
|
border: none; /* Broken on IE6 */
|
|
|
|
}
|
|
|
|
div.footnotes hr {
|
|
|
|
border: 1px solid silver;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.navheader th, div.navheader td, div.navfooter td {
|
2013-05-29 17:58:01 +00:00
|
|
|
font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
|
2008-01-11 18:52:13 +00:00
|
|
|
font-size: 0.9em;
|
|
|
|
font-weight: bold;
|
2013-05-29 17:58:01 +00:00
|
|
|
color: #004698;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
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 {
|
2013-11-15 08:21:11 +00:00
|
|
|
margin: 0;
|
2008-01-11 18:52:13 +00:00
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
body h1, body h2, body h3, body h4, body h5, body h6 {
|
|
|
|
margin-left: 0
|
2013-11-15 08:21:11 +00:00
|
|
|
}
|
2008-01-11 18:52:13 +00:00
|
|
|
|
|
|
|
body pre {
|
|
|
|
margin: 0.5em 10% 0.5em 1em;
|
2014-02-09 19:01:49 +00:00
|
|
|
line-height: 1.4;
|
2008-01-11 18:52:13 +00:00
|
|
|
color: 333;
|
|
|
|
}
|
|
|
|
|
2013-06-12 15:37:04 +00:00
|
|
|
pre, tt, code, .command {
|
2013-05-29 17:58:01 +00:00
|
|
|
font-family: Menlo, Consolas, "Bitstream Vera Sans Mono", "Liberation Mono", monospace;
|
|
|
|
font-size: 0.9em;
|
|
|
|
}
|
|
|
|
|
2008-01-11 18:52:13 +00:00
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2014-08-24 18:24:20 +00:00
|
|
|
.guibutton, .guimenu, .guisubmenu, .guimenuitem {
|
2014-08-17 16:23:31 +00:00
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
2014-08-24 18:24:20 +00:00
|
|
|
.keycap, .guimenu, .guisubmenu, .guimenuitem {
|
|
|
|
border: 0.5px solid silver;
|
|
|
|
padding-left: 0.25em;
|
|
|
|
padding-right: 0.25em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.keycap {
|
|
|
|
border-radius: 0.25em;
|
|
|
|
}
|
|
|
|
|
2006-04-21 02:18:24 +00:00
|
|
|
div.sidebar {
|
2008-01-11 18:52:13 +00:00
|
|
|
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 {
|
2013-05-29 17:58:01 +00:00
|
|
|
font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
|
2008-01-11 18:52:13 +00:00
|
|
|
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;
|
2014-02-13 21:04:31 +00:00
|
|
|
border-width: 0;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
div.revhistory th {
|
|
|
|
border: none;
|
|
|
|
color: #1f3b5e;
|
2013-05-29 17:58:01 +00:00
|
|
|
font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
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;
|
2013-06-12 15:37:04 +00:00
|
|
|
border-collapse: collapse;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
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
|
|
|
|
{
|
2013-06-12 15:37:04 +00:00
|
|
|
border-top: 2px solid #004698;
|
|
|
|
border-bottom: 2px solid #004698;
|
2008-01-11 18:52:13 +00:00
|
|
|
}
|
|
|
|
div.table thead, div.table tfoot,
|
|
|
|
div.informaltable thead, div.informaltable tfoot
|
|
|
|
{
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
2013-06-12 15:37:04 +00:00
|
|
|
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 {
|
2013-06-12 16:43:25 +00:00
|
|
|
border: 1px solid silver;
|
2013-06-12 15:37:04 +00:00
|
|
|
padding: 0.4em;
|
|
|
|
vertical-align: top;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.table thead > tr > th, div.informaltable thead > tr > th {
|
|
|
|
vertical-align: bottom;
|
|
|
|
}
|
|
|
|
|
2008-01-11 18:52:13 +00:00
|
|
|
div.figure p.title,
|
|
|
|
div.table p.title
|
|
|
|
{
|
|
|
|
margin-top: 1em;
|
|
|
|
margin-bottom: 0.4em;
|
|
|
|
}
|
|
|
|
|
|
|
|
@media print {
|
|
|
|
div.navheader, div.navfooter { display: none; }
|
2006-05-30 19:38:24 +00:00
|
|
|
}
|