div.top {
	text-align: center;
}
div.sitetitle {
	font-family: sans-serif;
	font-size: xx-large;
	font-weight: bold;
}
span.OSS {
	font-variant: small-caps;
}
div.subtitle {
	font-style: italic;
}
div.menu li{
	display: inline;
}
div.menu li:before {
	content: "| ";
}
div.menu ul:after {
	content: " |";
}
li.thismenu {
	font-weight: bold;
}
a.host {
	display: block;
}
a.host img {
	border: none;
}