body {
	background: #f0f0ff;
	color: black;
	font-size: 12pt;
}

#title {
	border-bottom: 0.2em solid #0000aa;
	font-size: 4em;
	margin-top: 0;
	margin-bottom: 0;
}

#navigation {
	float: right;
	margin-right: 1em;
}

#navigation ul:before {
	content: "navigation";
	display: block;
	border: 0.01em solid black;
	font-size: 1.2em;
	padding-left: 0.25em;
	padding-right:0.25em;
}

#navigation ul {
	list-style-type: none;
	border: 0.01em solid black;
	padding-left: 0;
}

#navigation li > a {
	display: block;
	margin-left: 0.25em;
	margin-right: 0.25em;
	text-decoration: none;
}

#navigation li:hover > a {
	background: #e0e0ff;
	color: #0000aa;
}

/*
#outsidebuttons {
	position: relative;
}

#buttons {
	position: absolute;
	bottom: 0px;
	right: 0px;
}

#footer {
	clear: both;
}
*/

#outsidebuttons {
	border-top: 0.25em solid #0000aa;
}

#buttons {
	float: right;
	margin-left: 5em;
}

#buttons p {
	display: inline
}

.button img {
	border: none;
}

a {
	color: #0000aa;
	background: inherit;
}

a:visited {
	color: #0000aa;
	background: inherit;
	text-decoration: none;
}

acronym {
	cursor: help;
}

h3 > .backlink {
	visibility: hidden;
}

h3:hover > .backlink {
	visibility: visible;
}
.code {
	font-family: monospace;
	font-size: smaller;
}
.spam {
	display: none;
}

#content p {
	text-align: justify;
}