body {
	margin: 10px;
	padding: 0px;
	background-color: #999;
}

hr {
	color: #888;
	background-color: #888;
}

a {
	text-decoration: none;
	color: #00f;
}

p {
	padding: 0px;
	margin: 14px 0px 14px 0px;
}

#content {
	margin: 10px;
	font: 14px verdana;
}

#leftcol {
	width: 210px;
	border-right: 1px solid black;
}

#leftmenu {
	font: 16px verdana;
	padding: 10px 10px 20px 25px;
}

.menu ul {
	list-style-type: none;
	margin: 0px;
	padding: 0px;
}

#content .menu ul {
	list-style-type: disc;
}

.menu ul ul {
	padding-left: 20px;
	margin-bottom: 10px;
}

.menu ul ul ul {
	margin-bottom: 0px;
}

.menu ul li {
	font: 16px verdana;
	font-weight: bold;
	color: black;
	line-height: 18px;
}

.menu ul ul li {
	margin-top: 3px;
	font: 14px verdana;
	color: black;
	line-height: 17px;
}

.menu ul ul li a {
	color: #24c;
}

.menu ul ul li a:hover {
	color: #48f;
	border-bottom: 1px dotted black;
}

.menu ul ul ul li {
	margin-top: 0px;
	font: 12px verdana;
	color: black;
	line-height: 14px;
}


#rightcol {
	width: 690px;
	background-color: #ddd;
}

div.prodimg {
	float: left;
	clear: left;
	padding: 2px;
	border: 2px solid #444;
	margin: 0px;
	margin-right: 10px;
	text-align: center;
}

div.overview {
	clear:left;
	padding-top: 15px;
	font: 16px verdana;
	font-weight: bold;
}

* html div.overview {
	padding: 0px;
}

p.abstract {
	font: 18px verdana;
	margin-bottom: 20px;
}

span.section {
	font: 16px verdana;
	font-weight: bold;
}

ul.sectionlist, ol.sectionlist {
	margin: 5px 0px 20px 0px;
	padding: 0px 0px 0px 22px;
	font: 14px verdana;
}

ol.sectionlist {
	padding-left: 30px;
}

ul.sectionlist li, ol.sectionlist li {
	margin: 0px;
	padding: 0px;
	line-height: 17px;
}