body{

 font-family:Arial,Verdana,Helvetica,Sans-Serif;
 background:#FFFFFF;
 margin:0px;
 margin-top:10px;
/* font-size:14px; */
 border-style:solid;
 border-width:0px;
 border-left-width:1px;
 border-color:#aaaaaa;
 padding:20px;

}

.nav{
 margin:0px;
 padding:4px;
 padding-right:1px;
 border-width:0px;
 font-size:80%;


}

.nav a{
 color:#000088;
 text-decoration:none;
}
.nav a:hover{
 color:#AAAAFF;
 text-decoration:underline;
}


.code{
/* font-family:Fixedsys,Courier,Courier New,monospace;
 font-size:12px;*/
 color:#0000FF;
 background:#eeeeee;
 border-style:solid;
 border-width:1px;
 border-color:#aaaaaa;
 padding:6px;
}