@charset "UTF-8";

div.refdescription {
 /* background-color: #FAFAFA;*/
	padding:0 5px 4px 5px;
	margin-left:15px;
	font-size:11px; font-style:italic;
}

div.refalias { 
  border-top:1px solid #E0E0E0;
  background-color: #FAFAFA;
	padding:0 5px 4px 5px;
	margin-left:15px;
	font-size:11px; 
}


div.category { margin-left:15px; }