body{ font-family: arial, sans-serif; font-size: 11pt; color: #111; }
.code_display{  border:1px #ccc dotted; background:#eee; width:100%; overflow:scroll; padding:5px; height: 400px; }

.relatedKeywords{ border:1px #ddd solid; background:#eee; color:#999; font-size:80%; padding:5px; font-weight:normal;
}

dl.margins-removed{ margin: 0; padding: 0; }
dt{ margin: 0; padding: 0; font-weight: bold; }
dd{ margin: 0 0 1em 0; padding: 0; }

xmp.code{ width:900px; border:1px #ccc dashed; background:#eee; color:#000; overflow:scroll; font-size:11px; height: 400px;}

#mini_nav,.mini_nav{
  padding:10px; margin:5px 5px 0 0; 
  float:left; width:300px; 
  background:#eee;
  font-family:verdana; font-size:11px; 
}
#mini_nav ul{ 
  margin-top:5px; 
  margin-left:0;
  padding-left:0;
  list-style-type:none;
}