body {
	font-family: arial, verdana, sans-serif;
	background-color: #F0F0F0;
	margin: 1pt;
}

pre {
	background-color: #ffffff;
}

.header {
	/*background-color: #fcdeb5;*/
	background-color: #FfFfC0;
	border: 0px;
	margin-top: 0pt; margin-left: 0pt; margin-right: 0pt; margin-bottom: 1pt;
	padding-top: 4pt; padding-bottom: 4pt;
	text-align: center;
}

.header .h1 {
	font-size: 200%;
	font-weight: bold;
}
.header .h2 {
	font-size: 150%;
}
.header .h3 {
	font-size: 125%;
}

.leftpane {
	height: 100%;
	float: left;
	padding: 2pt;
	margin: 2pt;
}

.navi {
	background-color: #E0E0E0;
	border-width: 1px;
	border-color: gray;
	border-style:solid;
	padding: 5pt;
	text-decoration: none;
	height: 100%;
}
.navi ul {
	border-width: 0;
	list-style: none;
}
.navi ul li {
	border: 0;
	border-top-width: 1pt;
	border-color: blue;
	/*border-style: solid;*/
}
.navi ul li a {
	text-decoration: none;
}
.spacer {
	padding: 5pt;
}

.content {
	margin-left: 5pt;
	/*position: relative;*/
	left: 5px;
}
.content .head {
	text-align: center;
}