@CHARSET "ISO-8859-1";

body {
	font-size: 11pt;
}

h1 {
	font-size: 20pt;
}

h2 {
	font-size: 16pt;
}

h3 {
	font-size: 13pt;
}

#top {
	padding-top: 0.5em;
}

#leftnav {
	float: left;
	width: 110px;
	margin-top: 1em;
	padding: 0.5em;
}

#leftnav ul {
	margin: 0;
	padding: 0;
	border: none;
	list-style-type: none;
	font-size: 90%;
}

#leftnav ul#sub {
	margin-left: 12px;
	font-size: 90%;
}

#leftnav a {
	height: 1.6em;
	display: block;
	padding-left: 0.2em;
}

#leftnav a:link, #leftnav a:visited {
	text-decoration: none;
	color: blue;
}

#leftnav a:hover {
	background-color: blue;
	color: white;
}

#content {
	max-width: 60em;
	margin-left: 120px;
	padding: 1em;
	line-height: 150%;
}

.footer {
	clear: both;
	margin: 0;
	padding: 0.5em;
	color: #333333;
	text-align: center;
	font-size: 70%
}