body {
	background-color: #8b8b40;
}

.mainheader {
	background-color: #da6767;
	font-size: 24pt;
	font-style: italic;
	font-weight: bold;
	text-align: center;
}

.mainheader:before, .mainheader:after {
	content: " ~~~ ";
}

.mainarea {
	width: 40em;
	border: 1px solid black;
	margin: auto;
}

.navi {
	background-color: #dde;
	text-align: center;
	padding: 1pt;
	border-top: 1px solid #666;
	border-bottom: 1px solid #666;
}

.navi a {
	font-size: 10pt;
	color: #227;
	font-weight: bold;
	font-family: Arial, verdana;
	margin-left: 1pt;
	margin-right: 1pt;
}

.page {
	background-color: white;
	padding: 8pt;
}

a.current {
	background-color: #fff;
}

p.firstparagraph {
	font-size: 16pt;
	font-weight: bold;
}