html, body {
	margin: 0;
}
body {
	/* background-image: url("wood.gif"); */
	padding: 2em 5em;
	font-family: "Bitstream Vera Sans", Verdana, Arial, sans-serif;
	font-size: 13px;
	font-weight: normal;
	color: black;
	background-image: url("woodgrain.gif");
}
a {
	color: #66190D;
}
div#main {
	position: absolute;
	left: 50%;
	width: 50em;
	margin-left: -25em;
	padding: 0.3em 1.5em;
	border: 1px solid #A6895D;
	background-color: #CFB286;
}
h1 {
	margin: 1em;
	padding: 0.2em 1em;
	border: 1px solid #A6895D;
	-moz-border-radius: 10px;
	text-align: center;
	font-size: 250%;
	font-weight: bold;
	font-family: serif;
	color: #66190D;
	letter-spacing: 0.03em;
}
p {
	margin-bottom: 1.25em;
	line-height: 135%;
}
pre.code {
	border: 1px dashed #663C54;
	padding: 0.15em;
	font-size: x-small;
	width: 100%;
	max-height: 15em;
	overflow: auto;
}
ul#maj {
	height: 6em;
	overflow: auto;
}