body, .NavBarCell1 {
  color: black;
  background: #dddddd;
  margin:  0;
  padding: 0;
}
body, div, p, th, td, li, dl, dd {
  font-family: Lucida, Arial, Helvetica, sans-serif;
}
code, pre {
  font-family:  'Andale Mono', Courier, monospace;
  font-size: smaller;
}
h1, h2, h3, h4 {
  font-family:  Tahoma, Verdana, Helvetica, Arial, sans-serif;
}
h1 {
  font-size: 1.75em
}
h2 {
  font-size: 1.5em
}
th, td {
  text-align: left;
  vertical-align: top 
}

path {
  font-style: italic;
}
code, pre {
//  font-family: monospace;
//  font-weight: bold;
}
#header {
  color: white;
  background: #003060;
  text-align: center;
  margin-left: 0cm;
  margin-right: 0cm;
  margin-top: 0cm;
  margin-bottom: 0cm;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
  padding: 10px;
  font-size:  1.5em;
}
h1, h2 {
  color: white;
  background: #003060;
  margin-left: 1px;
  margin-right: 1px;
  margin-top: 0.5cm;
  margin-bottom: 0cm;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
  padding: 2px;
}
h1 {
  text-align: center;
}
h1, h2 a:link, h2 a:visited {
  color: white;
}
h3 {
  color: #003060;
  margin-left: 0.5cm;
  margin-right: 0cm;
  margin-top: 0cm;
  margin-bottom: 0cm;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 5px;
  font-size: 1.25em
}
h3 a:link, h3 a:visited {
  color: #003060;
}
h4 {
  color: #003060;
  margin-left: 0.5cm;
  margin-right: 0cm;
  margin-top: 0cm;
  margin-bottom: 0cm;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 5px;
  font-size: 1em
}
h4 a:link, h3 a:visited {
  color: #003060;
}
p {
  margin-left: 0.5cm;
  margin-right: 0cm;
}
dl {
  margin-left: 1cm;
  margin-right: 0cm;
}
dt {
  font-weight: bold;
}
dd {
}
.bordertable {
  margin-left: 2cm;
  margin-right: 2cm;
  margin-top: 0.5cm;
  margin-bottom: 0.5cm;
  border-color: #005500;
  border-style: groove;
  border-width: 4px;
  padding: 1px;
}
.console {
  color: white; 
  background: black;
  margin-left: 1cm;
  margin-right: 1cm;
  margin-top: 0.5cm;
  margin-bottom: 0.5cm;
  border-color: #000055;
  border-style: groove;
  border-width: 4px;
  padding: 5px;
}
.file {
  color: black; 
  background: #ddddcc;
  margin-left: 1cm;
  margin-right: 1cm;
  margin-top: 0.5cm;
  margin-bottom: 0.5cm;
  border-color: #000055;
  border-style: groove;
  border-width: 4px;
  padding: 5px;
}
.syntax {
  margin-left: 2cm;
  margin-right: 2cm;
  font-weight: bold;
  font-size: larger;
}


#navbox {
  margin-top:   1em;
  margin-left:  0.5em;
  margin-right: 0.5em;
  margin-left:  1em;
}
#navbox td div {
  margin: .5em
}

#navbox th, .TableHeadingColor, .TableSubHeadingColor {
  background: #003060;
  color: white;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
  background-image: url(imgs/corner.gif);
  background-repeat: no-repeat;
}
.TableSubHeadingColor { 
  font-size: smaller;
}
#navbox td, .TableRowColor {
  background: #fafaca;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
  font-size: smaller;
}

#navbox a:link, #navbox a:visited {
  color: black;
}

.NavBarCell1Rev {
  background: #003060;
  color: white;
  background-image: url(../../../docs/imgs/corner.gif);
  background-repeat: no-repeat;
}
.NavBarFont1    { font-family: Arial, Helvetica, sans-serif; color:#000000;}
.NavBarFont1Rev { font-family: Arial, Helvetica, sans-serif; color:#FFFFFF;}
.NavBarCell2    { font-family: Arial, Helvetica, sans-serif; background-color:#dddddd;}
.NavBarCell3    { font-family: Arial, Helvetica, sans-serif; background-color:#dddddd;}

#regtable table {
  margin-top: 1em;
}
#regtable th {
  background: #003060;
  color: white;
  text-align: center;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
}
#regtable td {
  background: #fafaca;
  font-size: smaller;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
}
#regtable a:link, #regtable a:visited {
  color: white;
}

#smalltable {
  margin-top: 1em;
  width:  70%;
  margin-left: auto;
  margin-right: auto;
}
#smalltable th {
  background: #003060;
  color: white;
  text-align: center;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
}
#smalltable td {
  background: #fafaca;
  font-size: smaller;
  border-right: 1px solid #999;
  border-bottom: 1px solid #999;
}
#smalltable a:link, #smalltable a:visited {
  color: black;
}

/*
.TableHeadingColor     { background: #CCCCFF }
.TableSubHeadingColor  { background: #EEEEFF }
.TableRowColor         { background: #FFFFFF }
.FrameTitleFont   { font-size: normal; font-family: normal }
.FrameHeadingFont { font-size: normal; font-family: normal }
.FrameItemFont    { font-size: normal; font-family: normal }
*/