
body { 
  margin-top: 1.5em;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: bold;
  font-family: Georgia, 'Times New Roman', Times; 
}

h1 {
  font-size: 1.5em;
}

h2 {
  font-size: 1.4em;
}

h3 {
  font-size: 1.3em;
}

h4 {
  font-size: 1.2em;
}

h5 {
  font-size: 1.1em;
}

h6 {}

h2.title {
  margin-top: 2em;
}

div.encore_header {
  text-align: center;
  font-size: 1em;
}

div#encore_footer {
  font-size: 0.8em;
  margin-top: 10em;
}

div#encore_footer p {
  font-size: 0.8em;
  color: #999;
  background-color: white;
}

div#encore_footer p a {
  color: #666;
  background-color: white;
}

div#encore_footer p#encore_credit {
  color: black;
}

div#encore_footer p#encore_credit a {
  color: blue;
}

fieldset {
  color: black;
  background-color: #eee;
  border: 1px solid black;
}

legend {
  color: black;
  background-color: #ccc;
  padding: 3px;
  border: 1px solid black;
}

input[type="submit"] {
  font-weight: bold;
}

div.errors, .success {
  width: 70%;
  padding: 5px;
}

div.errors, .warning {
  background-color: #DDD;
  border: 2px solid red;
  color: black;
  padding: 2px;
}

pre.programlisting {
  padding: 2px;
  border: 1px solid black;
  color: black;
  background-color: #EEE;
}

span.productname {
  padding: 0 1.5em 0 1.5em;
}

div.book div.chapter, div.book div.bibliography {
  page-break-before: always;
}

div.book div.titlepage h1 {
  text-align:center;
  page-break-after: always;
}

div.revhistory {
  page-break-after: always;
}

td, th {
  padding: 2px;
}

table.dl-xml-source, table.dl-manual {
  width: 800px;
  font-size: 0.9em;
}

table.dl-xml-source td, table.dl-manual td {
  vertical-align: top;
}

table.dl-xml-source td div, table.dl-manual td div {
  overflow: hidden;
}

th.light-bg {
  background-color: #678dbc;
}

tr.light-bg {
  background-color: #b1c2d7;
}

tr.lighter-bg {
  background-color: #c8dbf1;
}

tr.light-bg:hover, tr.lighter-bg:hover {
  background-color: #89dff4;
}