body {
	color: #000;
	font-size: 10pt;
}

div#header {
	line-height: normal;
}

div#header h1 {
	font-size: 24pt;
	line-height: 24pt;
	text-indent: 0;
	border-bottom: 1px solid #000040;
}

div#top-links {
	display: none;
}

div#navigation {
	display: none;
}
div#content {
	width: auto;
}

#header h1 {
	font-size: 18pt;
}

h1, h2 {
	font-size: 12pt;
	margin: 0.5em 0 0.2em;
}
h3, h4, h5, h6 {
	font-size: 11pt;
	margin: 0.5em 0;
}

dt {
	font-weight: bold;
}

h1 a, h2 a {
	text-decoration: none;
}

a {
	color: #000;
	margin: 0;
}

#quick {
	display: none;
}