123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329 |
- /*
- 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; }
|