H3 {
	font-size : 13px;
}

#leftmenu h3 {
	font-size : 13px;
	color: Navy;
	margin : 0px;
	margin-top : 10px;		
	padding-bottom: 2px;
	padding-left: 3px;
	border-bottom: solid 1px;
	border-bottom-color: #6E8BDE;
}

#leftmenu img {
vertical-align:text-top;
}
#leftmenu li{
padding-top:2px;
padding-bottom:1px;
}

body {
	font-size : 12px;
	font-family : Tahoma, Verdana;
        line-height:150%;
}

#footer {
	margin : 0px;	
	padding-top : 5px;
	text-align : center;
	font-size : 12px;
}

pre.codeclass{
font-family:Courier New;
font-size:12px;
color:black;
line-height:22px; 
border: 1px solid #9E9E9E;
background-color:#DDEEDE;
overflow:scroll;
padding-left:8px;
}

div.dl{
text-indent:2em;
line-height:22px;
}
div {
ine-height:22px;
}