body{
   margin:0px;
   padding:0px;
   text-align:justify;
   background-color:#f8f8f8;
}
#canvas {
   position:absolute;
   margin-top:20px;
   margin-left:40px;
   background-color:white;
   border:1px solid #b4b4b4;
   padding-left:30px;
   padding-right:40px;
   padding-top:20px;
   padding-bottom:20px;	
   line-height:1.6; 
   font-family:sans-serif, 
   Liberation; width:770px;
}
.abstract {
   width:70%;
   line-height:1.4;
   font-size: 90%;
   text-align:justify;
   margin-left:80px;
}  
    
/* start Lect.sty */
.hide{ position: absolute; left: -200em; top: -9999px; visibility:hide;
background-color:#e0ffff;} 
A:link{color:#000080}
A:visited{color:#003300}
A:hover{color:#006400}
div.proof{background-color:#e0ffff}
/* end css.sty */