// docstyle.css, style sheets for user manuals

EM
{
  font-style : italic;
  font-weight : normal;
}

STRONG
{
  font-style : normal;
  font-weight : bold;
}

EM.bolditalic
{
  font-style : italic;
  font-weight : bold;
}

A:link {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%; 
  color:#663300;
  background-color : #FFFFFF;
  }
A:active {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%; 
  color:#ff6600;
  background-color : #FFFFFF;
  }
A:visited {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%; 
  color:#996633;
  background-color : #FFFFFF;
  }

A.navigation:link
{
  font-family: Arial, Helvetica, sans-serif;
  font-size:65%; 
  color:#996633;
  background-color : #FFFFFF;
  }

A.navigation:active
{
  font-family: Arial, Helvetica, sans-serif;
  font-size:65%; 
  color:#996633;
  background-color : #FFFFFF;
  }

A.navigation:visited
{
  font-family: Arial, Helvetica, sans-serif;
  font-size:65%; 
  color:#996633;
  background-color : #FFFFFF;
  }

BODY {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%;
  color:#000000;
  margin-left : 20px;
  margin-right : 20px;
  background-color : #FFFFFF;
}
H1 {
  font-family: Arial, Helvetica, sans-serif;
  font-size:170%;
  color:#336699;
  background-color : #FFFFFF;
  border : solid #CCCCB0;
  border-width : 0px 0px thin 0px;
  width : 100%;
}
H2 {
  font-family: Arial, Helvetica, sans-serif;
  font-size:130%;
  color:#336699;
  background-color : #FFFFFF;
  border : solid  #CCCCCC;
  border-width : 0px 0px thin 0px;
  width : 100%;
}
H3 {
  font-family: Arial, Helvetica, sans-serif;
  font-size:110%;
  color:#336699;
  background-color : #FFFFFF;
  width : 100%;
  }

P {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%;
  color:#000000;
  background-color : #FFFFFF;
}
UL {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%;
  color:#000000;
  background-color : #FFFFFF;
}

OL {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%;
  color:#000000;
  background-color : #FFFFFF;
}

/*
LI {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%;
  color:#000000;
  background-color : #FFFFFF;
}
*/

CODE.inline {
  color : #336699;
  font-family : "Courier New", "Courier", "monospace";
}

CODE.header {
  color : #336699;
  font-family : "Courier New", "Courier", "monospace";
  font-weight : bold;
}

CODE.nocolor {
  font-family : "Courier New", "Courier", "monospace";  
}

DIV.indent {
  padding-left : 40px;
}

table.borders {
  border : 1px solid #BDB76B;
}

TABLE.data {
  width : 95%;
  padding : 6px;
}

TR {
  text-align : left;
  vertical-align : top;
}

TH {
  font-family: Arial, Helvetica, sans-serif;
  font-size:85%;
  color:#000000;
  background-color:#FFFFFF;
  text-align: center;
}

TD.textcontent {
  font-family: Arial, Helvetica, sans-serif;
  font-size:85%;
  color:#000000;
  background-color:#FFFFFF;
}

TD.hdrprodname {
  font-family: "Times New Roman", Times, serif;
  font-size:80%;
  color:#336699;
  background-color:#FFFFFF;
  font-style : italic;
  font-weight : bold;
}

TD.hdrbooktitle {
  font-family: Arial, Helvetica, sans-serif;
  font-size:100%;
  color:#336699;
  background-color:#FFFFFF;
  font-weight : bold;}

TD.hdrrelno {
  font-family: Arial, Helvetica, sans-serif;
  font-size:90%;
  color:#336699;
  background-color:#FFFFFF;
  font-weight : normal;}

.mediumtext {
  font-size:80%;
}

PRE.code {
  padding-left : 2em;
  color : #336699;
}

PRE EM {
  color : #880000;
}

.smalltext {
  font-size:75%;
}

.tinytext {
  font-size:70%;
}