BODY {
  margin: 0pt;
  padding: 0pt;
  background-color: white;
  }
BODY, P, UL {
  font: 10pt "Georgia", "Palatino Linotype", "Palatino", Times, serif;
  line-height: 1.3em;
  }
DIV.main {
  padding: 0pt 10pt 0pt 10pt;
  }
DIV.main > P:first-child:first-letter {
  font-size: 200%;
  }

TABLE.main {
  width: 100%;
  }

H1, H1 A {
  margin-left: 5; margin-bottom: 1em;
  font: 18pt "Tahoma", "Arial", sans-serif;
  color: #0000AA;
  text-align: center;
  }
H1.main {
  font: bold 24pt "Tahoma", "Arial", sans-serif;
  }
H2, H2 A {
  margin-left: 5; margin-top: 1em; margin-bottom: 0.5em;
  font: bold 12pt "Tahoma", "Arial", sans-serif;
  color: #0000AA;
  text-align: center;
  }
H3, H3 A {
  margin-left: 5;
  font: 11pt "Tahoma", "Arial", sans-serif;
  color: #0000AA;
  }

KBD, TD.code {
  font: 10pt Consolas, Courier, sans-serif;
  }
DT {
  margin-top: 5pt; margin-bottom: 2pt;
  font: 9pt Consolas, Courier, sans-serif;
  }

DIV.maintitle {
  padding: 5pt 10pt 5pt 0pt;
  text-align: center;
  background-color: #ECF4FF;
  margin: 2pt;
  }
DIV.header {
  padding: 5pt 10pt 5pt 0pt;
  text-align: right;
  background-color: #ECF4FF;
  margin: 2pt;
  }
DIV.navigation {
  background-image: url(navbar.png);
  background-repeat: repeat-x;
  padding: 2px 10pt 0pt 0pt;
  text-align: right;
  margin: 2pt;
  height: 30px;
  }
DIV.navigation A {
  font: 15px Tahoma, Verdana, Helvetica, Arial, sans-serif;
  color: white;
  text-decoration: none;
  }

DIV.section {
  background-image: url(greenheader.png);
  background-repeat: repeat-x;
  margin: 0pt 0pt 20pt 0pt;
  padding: 0pt 10pt 10pt 10pt;
  border-left: 1px solid #ACCF3A;
  border-right: 2px solid #ACCF3A;
  border-bottom: 2px solid #ACCF3A;
  background-color: #F9F9F9;
  }
DIV.section H2, DIV.section H2 A {
  padding-top: 3px;
  height: 32px;
  font: bold 20px "Tahoma", "Arial", sans-serif;
  text-align: left;
  color: black;
  text-shadow: silver 2px 2px 0px;
  }

DIV.warning {
  background-image: url(orangeheader.png);
  background-repeat: repeat-x;
  border-left: 1px solid #EEC94D;
  border-right: 2px solid #EEC94D;
  border-bottom: 2px solid #EEC94D;
  background-color: #FDF8E6;
  padding: 30px 10pt 3pt 10pt;
  margin: 0pt 0pt 20pt 0pt;
  color: red;
  }
DIV.warning P {
  font-weight: bold;
  }

PRE {
  background-image: url(blueheader.png);
  background-repeat: repeat-x;
  padding: 4pt;
  margin: 0pt 30pt 0pt 30pt;
  font: 9pt Consolas, Courier, sans-serif;
  background-color: #ECF5FF;
  border-left: 1px solid #6FB5D2;
  border-right: 2px solid #6FB5D2;
  border-bottom: 2px solid #6FB5D2;
  }
PRE:before {
  content: "Code snippet";
  display: block;
  height: 27px;
  font: bold 8pt Tahoma, Verdana, Helvetica, Arial, sans-serif;
  text-align: right;
  color: gray;
  text-shadow: white 2px 2px 0px;
  padding: 0pt 5pt 0pt 0pt;
  margin: 0pt;
  }

PRE.command {
  background-image: url(grayheader.png);
  background-color: #F2F2F2;
  border-left: 1px solid #C4CCCC;
  border-right: 2px solid #C4CCCC;
  border-bottom: 2px solid #C4CCCC;
  }
PRE.command:before {
  content: "Command line";
  }

UL {
  margin-left: 20pt;
  }
UL.space LI, OL LI {
  padding-top: 2pt; padding-bottom: 2pt;
  }
UL.TOC {
  list-style-type: none;
  margin-left: 0pt;
  }

TABLE {
  font: 10pt "Georgia", "Palatino Linotype", "Palatino", Times, serif;
  text-align: center;
  }
TABLE.table {
  width: 100%;
  border-collapse: collapse;
  border-spacing: 0pt;
  }
TABLE.table TH {
  font: bold 9pt Tahoma, Verdana, Helvetica, Arial, sans-serif;
  background-image: url(orangeheader.png);
  background-repeat: repeat-x;
  height: 27px;
  }
TABLE.table TD {
  border-left: 1px solid #EEC94D;
  border-right: 1px solid #EEC94D;
  border-bottom: 1px solid #EEC94D;
  background-color: #FDF8E6;
  padding: 3pt;
  }

H2.index {
  text-align: left;
  }
P.index {
  margin: 0pt;
  }

P.contributor {
  font-style: italic;
  text-align: right;
  }
ADDRESS {
  padding: 3pt;
  font: italic 8pt "Georgia", "Palatino Linotype", "Palatino", Times, serif;
  line-height: 1.2em;
  }

A {
  color: blue; text-decoration: none;
  }
A:hover {
  color: blue;  text-decoration: underline;
  }

SPAN.red {
  color: red;
  }
SPAN.green {
  color: green;
  }