body

  {

  padding: 0px 0px 0px 26px;

  background: #ffffff; 

  color: #000000;

  font-family: Verdana, Arial, Helvetica, sans-serif;

  font-size: 80%;

  }



div

  {

  width: 90%;

  border: 2px solid #999999;

  padding: 4px 8px;

  background: #cccccc;

  }

  

h1, h2, h3, h4

  {

  font-family: Verdana, Arial, Helvetica, sans-serif;

  margin-left: -26px;

  }

  

h1

  {

  font-size: 145%;

  margin-top: .5em;

  margin-bottom: 1em; 

  }

  

h2

  {

  font-size: 130%;

  margin-top: 1.5em;

  margin-bottom: .6em; 

  }

  

h3

  {

  font-size: 115%;

  margin-top: 1.5em;

  margin-bottom: .6em;

  }

  

h4

  {

  font-size: 100%;

  margin-top: 1.5em;

  margin-bottom: .6em; 

  }



ul p, ol p, dl p

  {

  margin-left: 0em;

  }



p

  {

  margin-top: .6em;

  margin-bottom: .6em;

  }



dl

  {

  /*margin-top: 0em; */

  }



dt

  {

  margin-top: .76em;

  margin-bottom: .5em;

  font-weight: bold;

  }



dd

  {

  margin-top: .5em;

  margin-bottom: .5em;  

  margin-left: 1.9em; 

  }





ul, ol

  {

  margin-top: .6em;   

  margin-bottom: 0em;

  }

  

ol

  {

  margin-left: 3.6em; 

  } 

  

ul

  {

  list-style-type: disc; 

  margin-left: 1.9em; 

  }



li

  {

  margin-bottom: .6em;

  }



ul ol, ol ol

  {

  list-style-type: lower-alpha;

  {



  /*

pre

  {

  margin-top: .6em;

  margin-bottom: .6em; 

  }

  */



pre,code

  {

  font: 100% Courier New, Courier, mono; 

  color: #000000;

  cursor: text;

  }



pre.syntax

  {

  background: #dddddd;

  padding: 2pt,4pt

  }



pre.syntax

  {

  color: #000000;

  }



pre.example

  {

  margin-left: 2.0em;

  /*margin-top: 12.0em;*/

  /*margin-bottom: 1.0em;*/

  color: #C00000;

  /*padding: 10pt,20pt*/

  }



table

  {

  /* width: 90%; */

  background: #999999;

  margin-top: .6em;

  margin-bottom: .3em;

  }

    

th

  { 

  padding: 4px 8px;

  background: #cccccc;

  text-align: left;

  font-size: 80%;

  vertical-align: bottom;

  }



th.cc

  { 

  text-align: center;

  vertical-align: middle;

  }



td

  { 

  padding: 4px 8px;

  background: #ffffff;

  vertical-align: top;

  font-size: 80%;

  }



td.cc

  { 

  text-align: center;

  vertical-align: middle;

  }





blockquote

  {

  margin-left: 3.8em;

  margin-right: 3.8em;

  margin-top: .6em;

  margin-bottom: .6em;

  }



a:link

  {

  color: #0066ff;

  }

  

a:visited

  {

  color: #996600; 

  }

  

a:hover

  {

  color: #cc9900;

  }

  

a.parameter:link

  {

  color: #0066ff;

  text-decoration:none;

  }



a.parameter:visited

  {

  text-decoration:none;

  }



div.footer

  {

  width: 100%;

  border: none;

  background: #ffffff;

  margin-top: 18pt;

  padding-bottom: 12pt;

  color: #228B22;

  text-align: center;

  font-size: 70%;

  }



span.filename

{

  color: #F00000;

}