body {
	color: #000000;
	background-color: #FFFFFF;
	font: 12px Verdana, sans-serif;
	padding: 4px;
}

div.container {
	top: 0;
	bottom: 0;
	left: 0;
	right: 0;
	width: 760px;
	margin-left: auto;
	margin-right: auto;
	text-align:justify;
	border: 1px solid #ABABAB;
}

#header {
	color: #ffffff;
	background-color: #D5D2EF;
	scroll;
	background-position: 0 0;
	height: 64px;
	border-bottom: 1px solid #808080;
}

#sitelogo {
	color: #FFFFFF;
	font: 30px/60px Verdana, sans-serif;
	background: url(images/easyh10-logo.png) no-repeat;
	margin: 0px;
	padding: 0px;
	height: 64px;
	vertical-align: middle
}
#sitelogo a {
	color: #FFFFFF;
	text-decoration: none;
}

#topmenu div {
	margin: 0px;
	padding: 0px;
}
#topmenu ul {
	background: #E8E8E8 repeat-x;
	border-bottom: 1px solid #808080;
	color: #000000;
	font: 13px Verdana, sans-serif;
	height: 20px;
	margin: 0;
	padding: 0;
	width: 100%;
}
#topmenu ul li {
	display: inline;
}
#topmenu ul li a {
	border-right: 1px solid #808080;
	color: #000000;
	float: left;
	line-height: 21px;
	padding: 0px 10px 0px 10px;
	text-decoration: none;
}
#topmenu ul li a:hover {
	background: #F3D0D0 repeat-x;
	color: #000000;
}

h2 {
	padding-top: 16px;
	border-style: solid;
	border-color: #404080;
	border-width: 0px 0px 2px 0px;
}

h3 {
	padding-top: 12px;
}

div.acknowledgement {
	padding-top: 16px;
}

div.copyright {
	padding: 8px 2px 2px 2px;
	border-top: 1px solid #ABABAB;
	background: #E0E6E8;
	color: #000000;
	text-align: center;
}

dd {
	margin-bottom: 4px;
}

pre.shell {
	color: #FFFFFF;
	background: #444444;
	margin: 8px;
	padding: 4px;
}