html {
	overflow-y: scroll;
}
body {
	font-family: verdana, sans-serif;
	font-size: 9pt;
	padding: 0px;
	margin: 0px;
}
a {
	text-decoration: none;
	color: #5555AA;
	font-style: italic;
}
h1 {
}


#page {
	max-width: 800px;
	margin: 0px auto;
}


#navigation, #subnavigation, #footer {
	border-top: 1px solid #000000;
	border-bottom: 1px solid #000000;
}
#navigation {
	font-weight: bold;
}
#subnavigation {
}
#footer {
	text-align: right;
}


.navigation, .subnavigation, .footer {
	display: inline-block;
	padding: 0.4em 0.6em;
	cursor: pointer;
}
.navigation.selected, .subnavigation.selected, .footer.selected{
	background-image: url("./highlight.png");
	background-repeat: repeat-x;
}
.navigation:hover, .subnavigation:hover, .footer:hover {
	background-image: url("./highlight_l.png");
	background-repeat: repeat-x;
}


#content, #title, #text, #text h2, #text h3, #text h4 {
	padding: 0px;
	margin: 0px;
}
#content {
	text-align: left;
	padding: 1.5em 0em;
}
#title, h2 {
	font-size: 1.4em;
	border-bottom: 1px solid #000000;
	margin-bottom: 1em;
	padding: 0em 0.4em;
}
#text {
	padding: 0em 0.4em;
}
#text  h3 {
	font-size: 1.2em;
	border-bottom: 1px dashed #000000;
	margin-top: 2em;
	margin-bottom: 0.6em;
}
#text h4 {
	font-size: 1.0em;
	margin-top: 1em;
	margin-bottom: 0.6em;
}