body {
	font-size: 0.8em;
	font-family: Verdana,Arial,sans-serif;
	color: #000000;
	background-color: #ffffff;
	margin: 0.8em 0.8em 5em 0.8em;
}

a {
	color: #0000ff;
}

a:hover {
	color: #6666ff;
}

h1 {
	font-size: 170%;
	font-weight:bold;
}

h2 {
	font-size: 140%;
	font-weight: bold;
	margin: 2em 0 0.5em 0;
}

h3 {
	font-size: 100%;
	font-weight: bold;
	margin: 1.5em 0 0 0;
}

p {
	margin: 0.2em 0 1em 0;
}

.info {
	cursor: help;
	border-bottom: 1px dashed #000000;
}

#menu {
	margin-bottom: 4em;
}

code {
	font-size: 1.3em;
	font-weight: bold;
}