330 lines
5.6 KiB
CSS
330 lines
5.6 KiB
CSS
|
/*
|
||
|
CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
|
||
|
*/
|
||
|
|
||
|
body {
|
||
|
font-family: Georgia,serif;
|
||
|
}
|
||
|
|
||
|
code, pre {
|
||
|
font-family: "Courier New", Courier, monospace;
|
||
|
}
|
||
|
|
||
|
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;
|
||
|
}
|
||
|
|
||
|
body div {
|
||
|
margin: 0;
|
||
|
}
|
||
|
|
||
|
h1, h2, h3, h4, h5, h6
|
||
|
{
|
||
|
color: #527bbd;
|
||
|
font-family: Arial,Helvetica,sans-serif;
|
||
|
}
|
||
|
|
||
|
div.toc p:first-child,
|
||
|
div.list-of-figures p:first-child,
|
||
|
div.list-of-tables p:first-child,
|
||
|
div.list-of-examples p:first-child,
|
||
|
div.example p.title,
|
||
|
div.sidebar p.title
|
||
|
{
|
||
|
font-weight: bold;
|
||
|
color: #527bbd;
|
||
|
font-family: Arial,Helvetica,sans-serif;
|
||
|
margin-bottom: 0.2em;
|
||
|
}
|
||
|
|
||
|
body h1 {
|
||
|
margin: .0em 0 0 -4%;
|
||
|
line-height: 1.3;
|
||
|
border-bottom: 2px solid silver;
|
||
|
}
|
||
|
|
||
|
body h2 {
|
||
|
margin: 0.5em 0 0 -4%;
|
||
|
line-height: 1.3;
|
||
|
border-bottom: 2px solid silver;
|
||
|
}
|
||
|
|
||
|
body h3 {
|
||
|
margin: .8em 0 0 -3%;
|
||
|
line-height: 1.3;
|
||
|
}
|
||
|
|
||
|
body h4 {
|
||
|
margin: .8em 0 0 -3%;
|
||
|
line-height: 1.3;
|
||
|
}
|
||
|
|
||
|
body h5 {
|
||
|
margin: .8em 0 0 -2%;
|
||
|
line-height: 1.3;
|
||
|
}
|
||
|
|
||
|
body h6 {
|
||
|
margin: .8em 0 0 -1%;
|
||
|
line-height: 1.3;
|
||
|
}
|
||
|
|
||
|
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: Arial,Helvetica,sans-serif;
|
||
|
font-size: 0.9em;
|
||
|
font-weight: bold;
|
||
|
color: #527bbd;
|
||
|
}
|
||
|
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.0;
|
||
|
color: navy;
|
||
|
}
|
||
|
|
||
|
tt.literal, code.literal {
|
||
|
color: navy;
|
||
|
}
|
||
|
|
||
|
.programlisting, .screen {
|
||
|
border: 1px solid silver;
|
||
|
background: #f4f4f4;
|
||
|
margin: 0.5em 10% 0.5em 0;
|
||
|
padding: 0.5em 1em;
|
||
|
}
|
||
|
|
||
|
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 {
|
||
|
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: normal;
|
||
|
color: navy;
|
||
|
}
|
||
|
|
||
|
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: none;
|
||
|
}
|
||
|
div.revhistory th {
|
||
|
border: none;
|
||
|
color: #527bbd;
|
||
|
font-family: Arial,Helvetica,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;
|
||
|
}
|
||
|
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
|
||
|
{
|
||
|
/* No effect in IE6. */
|
||
|
border-top: 3px solid #527bbd;
|
||
|
border-bottom: 3px solid #527bbd;
|
||
|
}
|
||
|
div.table thead, div.table tfoot,
|
||
|
div.informaltable thead, div.informaltable tfoot
|
||
|
{
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
|
||
|
div.mediaobject img {
|
||
|
margin-bottom: 0.8em;
|
||
|
}
|
||
|
div.figure p.title,
|
||
|
div.table p.title
|
||
|
{
|
||
|
margin-top: 1em;
|
||
|
margin-bottom: 0.4em;
|
||
|
}
|
||
|
|
||
|
div.calloutlist p
|
||
|
{
|
||
|
margin-top: 0em;
|
||
|
margin-bottom: 0.4em;
|
||
|
}
|
||
|
|
||
|
a img {
|
||
|
border-style: none;
|
||
|
}
|
||
|
|
||
|
@media print {
|
||
|
div.navheader, div.navfooter { display: none; }
|
||
|
}
|
||
|
|
||
|
span.aqua { color: aqua; }
|
||
|
span.black { color: black; }
|
||
|
span.blue { color: blue; }
|
||
|
span.fuchsia { color: fuchsia; }
|
||
|
span.gray { color: gray; }
|
||
|
span.green { color: green; }
|
||
|
span.lime { color: lime; }
|
||
|
span.maroon { color: maroon; }
|
||
|
span.navy { color: navy; }
|
||
|
span.olive { color: olive; }
|
||
|
span.purple { color: purple; }
|
||
|
span.red { color: red; }
|
||
|
span.silver { color: silver; }
|
||
|
span.teal { color: teal; }
|
||
|
span.white { color: white; }
|
||
|
span.yellow { color: yellow; }
|
||
|
|
||
|
span.aqua-background { background: aqua; }
|
||
|
span.black-background { background: black; }
|
||
|
span.blue-background { background: blue; }
|
||
|
span.fuchsia-background { background: fuchsia; }
|
||
|
span.gray-background { background: gray; }
|
||
|
span.green-background { background: green; }
|
||
|
span.lime-background { background: lime; }
|
||
|
span.maroon-background { background: maroon; }
|
||
|
span.navy-background { background: navy; }
|
||
|
span.olive-background { background: olive; }
|
||
|
span.purple-background { background: purple; }
|
||
|
span.red-background { background: red; }
|
||
|
span.silver-background { background: silver; }
|
||
|
span.teal-background { background: teal; }
|
||
|
span.white-background { background: white; }
|
||
|
span.yellow-background { background: yellow; }
|
||
|
|
||
|
span.big { font-size: 2em; }
|
||
|
span.small { font-size: 0.6em; }
|
||
|
|
||
|
span.underline { text-decoration: underline; }
|
||
|
span.overline { text-decoration: overline; }
|
||
|
span.line-through { text-decoration: line-through; }
|