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