/*

  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 */

}

td p {

    margin: 0 0 0 0;

    padding: 0 0 0 0;

}

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; }