body {
	font: 11px Verdana, Helvetica, sans-serif;
}
dt {
	font-weight: bold;
}
pre {
	font: 12px;
	color: darkred;
}
dd {
	margin-bottom : 12pt;
}
h1 {
	font : bold 13px;
    color: #B82619;
    background-color: #EAE2BB;
	padding-left: 5px;
}
h2 {
	font : bold 13px;
	background-color: Silver;
	padding-left: 5px;
}
a {
    color: #B82619;
}
a:hover {
	color: gray;
}