body {
	font-family: Arial;
	font-size: 11pt;
	margin: 0;
	padding: 0;
   background: #F9F9F9;
}

#top {
  width=800px;
  background: #141 url(./banner_blue.jpg) top left repeat ;
  padding-left: 7px;
  padding-top: 7px;
  padding-bottom: 7px;
  color :  #999933;
  font-size: 12pt;
  text-align: center;
}


#left {
  float: left;
  padding-top: 1em;
  padding-left: 1em;
  padding-bottom: 1em;
  width: 140px;
  background: #F9F9F9;
}

#center {
  margin-left: 11em;
  margin-right: 4em;
  padding-top: 10pt;
  padding-left: 5pt;
  background: #F9F9F9;
}


#code {
    font-family:Courier,monospace;
    font-size: 9pt;
    color :  #006699;
    background: #EAEDDC;
}

pre {
    font-size: 7pt;
    color :  #006699;
    font-family:Courier,monospace;
    background: #EAEDDC;
  }

#tdred {
   color :  #999933;
   font-weight: bold;
   text-align: right;
   background: #E4EDFE;
}

td{
   padding-left: 10px;
   padding-top: 10px;
}

h3.title {
	margin-top: 0em;
	margin-bottom: 1em;
}

b {
  color : black;
   background: #E4EDFE;
}

a {
  font-family: Arial;
  color :  #999933;
}
a:hover {
   color:#796922;
}

#nav_button{
  padding: 2px;
  color: red;
  background-color: gray;
  font-size: small;
  border: 1px #d69a3a dotted;
}