div.dir { font-size: 80%; width: 250px; float: left; 
	padding: 3pt; border: 2px solid #333377; 
	dnl background-color: #CCCCFF;
	background-color: #DFDFEE;
	margin-left: 10px; margin-right: 10px; margin-bottom: 10px;} 
div.dir h1 { margin-top: 2pt; font-weight: bold; font-size: 110%;  
	margin-bottom: 4px; text-align: center; } 
div.dir h2 { margin-top: 7pt; font-weight: bold; font-size: 100%;  
	margin-bottom: 0px; } 
div.dir div.ind { margin-left: 15pt; font-size: 70%; }
div.inter { clear: left;  } 
hr.codestart { clear: left; margin-top: 5pt; }
div.ccom { margin-top: 10px; overflow-x: hidden; }
div.ccom div.code { margin-top: 3pt; background-color: #DFDFEE; }
p.inl { padding-top: 10pt; }