body{
   padding:0px 5%;
}

.index{
   list-style-type:decimal;
}

.index a{
   text-decoration:none;
   margin-left:2px;
}

.index a:link{
   color:#0000FF;
}

.index a:visited{
   color:#0000FF;
}

.index a:hover{
   color:#0000FF;
}

.index a:active{
   color:#00FF00;
}

.code{
   /*background-color:#EEEEEE;*/
   font-family:"Lucida Console", Monaco, monospace;
   font-size:12px;
   margin:1px;
   padding: 1px;
}

.comment{
   position:relative;
   top:-1em;
   margin:0em;
}

.list p{
   margin:1px;
}

.list tr td p{
   margin:1px;
}

.caption{
   font-size:0.8em;
   margin:-2px 5px 5px 5px;
}

.citation p{
   margin:5px 0px;
}

.citation pre{
   font-family:"Lucida Console", Monaco, monospace;
   font-size:1em;
   margin:0px;
}