body {
	padding-bottom: 5px;
}
div#menu {
	text-align: right;
}
div#menu div.selectable {
	cursor: pointer;
	font-weight: bold;
}
div#menu div.selectable:hover {
	color: red;
}
div#menu div.submenuitems {
	font-size: 0.8em;
	padding-right: 20px;
}
div#topbar {
	padding-left: 10px;
	color:#CCCCCC;
	font-size:10px;
	font-weight: bold;
	line-height: 14px;
}
div#topbar a {
	color:#CCCCCC;
	text-decoration:none;
}
div#topbar a:hover {
	text-decoration:underline;
}