body {
	font-family: Arial, Helvetica, sans-serif;
}
.credits {
	font-size: 12px;
	text-align: right;
}
.menubar {
	color: white;
}
A.menubar {
	color: white;
	text-decoration:none;
}
A:hover.menubar {
	color: RED;
	text-decoration:underline;
}
.rubicon {
	color: gray;
	font-size: 10px;
}
A.rubicon {
	color: gray;
	font-size: 8px;
	text-decoration:none;
}
A:hover.rubicon {
	color: gray;
	font-size: 10px;
	text-decoration:underline;
}