body{
   font-family: Tahoma,arial,helvetica;
   padding:2em; 
   font-size: .825em; 
   width:57em;
 }
li{ 
   padding: .3em 0em .3em 0em; 
}
dl{
   margin:2em;
}
dt{
   margin-bottom: 0em; 
   font-weight:600;
}
dd{
   margin-top: .5em; 
   margin-bottom: 1.5em;
}
code{
   display:block; 
   font-weight:600;
   margin:1em 1em;
   padding: 0 .5em;
   background-color: #FFFFD6;
   font-size: 110%;
}
.note{
	font-style: italic;
	padding: 1em 1.0em 1em 1.0em;
	background-color: #FFFFD6;
}
.comment{
    font-style: italic;
    font-size: .67em;
}
pre{
	background-color: #FFFFD6;
	padding: 1em;
}

 .section{
    border: solid 1px #cccccc;
    margin-left:20px;
    margin-right: 20px;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 10px;
    padding-bottom: 1em;
    margin-top:-1em;
    width:55em;
    }