body {
	color: #001020;
	background: #FFFFFF;
	line-height: 1.3em;
	margin: 0;
}

a:link { color: #3966A0; background: transparent; }
a:visited { color: #4439A0; background: transparent; }
a:hover, a:active { color: inherit; background: #9AC0EA; }

p { margin: 0.75em 0em; }

p.last-modified { text-align: right; }

p.notice {
	margin: 0.5em 2em;
	padding: 0.5em;
	border: 1px solid #888888;
	background: #DDDDDD;
	font-size: 90%;
}

h1, h2, h3, h4, h5, h6 { margin: 1em 0em 0.5em 0em; }

h1 {
	text-align: center;
	border: 1px solid #000000;
	padding: 0.25em;
	font-size: 150%;
}

h2 {
	border-top: 2px solid #000000;
	border-bottom: 2px solid #000000;
	color: #E9F0FE;
	background: #3966A0;
	margin-top: 4em;
	padding-left: 0.5em;
	font-size: 125%;
}

h3 {
	border-top: 2px solid #666666;
	border-bottom: 2px solid #666666;
	color: #000000;
	background: #CCCCCC;
	margin-top: 2em;
	padding-left: 0.5em;
	font-size: 110%;
}

h4 {
	line-height: 100%;
	border-left: 1em solid #333333;
	padding-left: 0.5em;
}

ul { margin: 0.5em 0em 0.5em 1.5em; padding: 0; }
li ul { margin: 0em 0em 0em 1.5em; }
dl { margin: 0.5em 0em; }
dt { margin-top: 0.5em; font-weight: bold; }

pre {
	border: 1px solid #666666;
	color: #000000;
	background: #CCCCCC;
	margin: 0.5em 1em;
	padding: 0.5em;
}

div#content {
	margin-left: 13em;
	margin-right: 1em;
}

div#menu {
	color: #000066;
	background: #DDDDFF;
	position: absolute;
	left: 0px;
	top: 94px;
	width: 13.5em;
	font-size: 90%;
	border: 1px solid #000000;
	line-height: 1.0em;
}

div#menu h2 {
	margin: 0;
	padding: 0.2em;
	border: none;
	font-size: 100%;
}

div#menu li {
	margin-top: 0.5em;
	margin-bottom: 0;
	font-weight: bold;
}

div#menu li li {
	margin-top: 0;
	font-size: 90%;
	font-weight: normal;
}

div#footer {
	border-top: 1px solid #999999;
	font-size: 80%;
	text-align: center;
}