p.comment {
	font-size: small;
}

div.counter {
	text-align: right;
	font-size: small;
	display: block;
	position: static;
	float: right;
}

div.navi-top {
	text-align: right;
	font-size: small;
	display: block;
	position: static;
	float: right;
}

div.navi-bottom {
	text-align: right;
	font-size: small;
	display: block;
	position: static;
	float: right;
}

hr {
	display: block;
	clear: both;
}

body.index {
	background-color: black;
	color: white;
	font-family: monospace;
}

span.title {
	font-family: "Times New Roman","Times";
	font-size: large;
	font-style: italic;
	font-weight: bold;
}

span.version {
	font-family: "Arial","Helvetica";
	font-weight: bold;
}

span.name {
	font-family: "Times New Roman","Times";
	font-style: italic;
	font-weight: bold;
}

small {
	font-size: xx-small;
}