div.navheader th {
  font-size: 80%;
  color: #238E23
}


h1.title {
  text-align: center;
  font-size: 180%;
  color: #238E23
}

h2.title {
  text-align: center;
  font-size: 150%;
  color: #238E23
}

h2.subtitle {
  text-align: center;
  font-size: 120%;
  color: #238E23
}

h3.author {
  text-align: center;
  font-size: 100%;
  color: #238E23
}

p.releaseinfo {
  text-align: center;
  font-size: 80%;
  color: #238E23
}

p.pubdate {
  text-align: center;
  font-size: 80%;
  color: #238E23
}


div.example {
  background-color: #DDDDDD ;
  border: 1px solid #FFFFFF ;
}

div.informalexample {
  background-color: #DDDDDD ;
  border: 1px solid #FFFFFF ;
}

div.itemizedlist li { 
  margin-top: 0.5em; 
}

div.orderedlist li { 
  margin-top: 0.5em; 
}

span.color_black {
  color:black;
}

span.color_blue {
  color: blue;
}

span.color_cyan {
  color: cyan;
}

span.color_green {
  color: green;
}

span.color_gray {
  color: gray;
}

span.color_magenta {
  color: magenta;
}

span.color_red {
  color: red;
}

span.color_white {
  color: white;
}

span.color_yellow {
  color: yellow;
}