#contents {
	text-align: center;
}

#contents img.title {
	margin-bottom: -15px;
}

#contents hr.underline {
	margin-top: 0;
}

#contents hr.belowindex {
	clear: left;
}

#contents h1 {
	margin: 0;
}

#contents h2 {
	font-family: "Times New Roman", Times, serif;
	font-weight: bold;
	font-size: 1.2em;
	text-align: center;
	margin: 0;
	margin-bottom: 0.5em;
}

#contents p {
	margin: 0;
}

#contents p.ecnwarning {
	clear: left;
	font-family: sans-serif;
	font-size: 0.6em;
}

#contents ul.index {
	list-style-type: none;
	padding: 0;
}

#contents ul.index li {
	display: block;
	float: left;
	width: 30%;
	margin: 1%;
}

#contents pre.motd {
	text-align: left;
}