body{
background-color: white;
color: black;
font: normal 80% Trebuchet MS;
margin-top: 3px;
margin-left: 3px;
padding: 0;
margin-right: 5px;
}

/* A:link    { color: #1A2BFF }     unvisited links */

pre, .codehighlight{
background-color: #EFEFEF;
font-size: 13px;
width: 98%;
border: 1px dashed gray;
/*background-color: #FFFFD7;*/
padding: 5px;
}

code{
background-color: #EFEFEF;
font-size: 13px;
}

.codebg{
background-color: #EFEFEF;
}

.cc{ /*code comment*/
color: #868686;
}

.codehighlight{
font-family: Arial;
}

#ddauthor{
font-weight: bold;
}

table#maintable, table{
font-size: 100%;
}

#topbanner{
margin-bottom: 10px;
width: 100%;
overflow: hidden;
}

h3, h3 code{
font-size: 125%;
}

h4{
font-size: 120%;
}

h4 code{
font-size: 18px;
}