body {
	font-family: sans-serif, monospace;
	text-align: center;
	overflow-y: scroll;
	color: #333;
	background-color: #fff;
	margin: 0;
	padding: 0;
}
table {
	border: 0;
}
hr {
	height: 1px;
	color: #ccc;
	background-color: #ccc;
	border: 0;
}
h1 {
	font-size: 140%;
}
h2 {
	font-size: 120%;
}
h3 {
	font-size: 100%;
}
h1, h1 a, h1 a:visited,
h2, h2 a, h2 a:visited,
h3, h3 a, h3 a:visited,
h1 a:hover, h2 a:hover, h3 a:hover {
	color: inherit;
	text-decoration: none;
}
table tr td {
	padding: 2px 10px 2px 0px;
}
pre {
	border: 1px dashed #777;
	background-color: #eee;
	padding: 5px;
	overflow-x: auto;
}
#menuwrap {
	background-color: #eee;
	padding: 1ex;
	border-bottom: 1px solid #ccc;
}
#main {
	padding: 1ex;
}
#menu,
#main {
	margin: 0px auto;
	text-align: left;
	max-width: 80ex;
}
#links img,
#menu a {
	font-weight: bold;
	vertical-align: middle;
}
#links-contact {
	float: right;
}
.hidden {
	display: none;
}