div.navigation {
	border: thin black solid;
	padding: 5px;
	background-color: #bbb;
}
div.navigation a {
	padding: 0px 10px;
	color: black;
	font-size: large;
	text-decoration: none;
}
div.navigation a.currentlink {
	font-weight: bold;
	background-color: #fff;
	border: thin black solid;
}
div.navigation a.noncurrentlink {
	background-color: #ddd;
	border: thin black solid;
}
h1 {
	text-align: right;
	font-variant: small-caps;
	letter-spacing: 5px;
}
div.sourceforge img {
	border: none;
}
p.byline {
	margin-top: 50px;
	font-size: x-small;
}