div.menu
{
	float: left;
	width: auto;
	margin-right: 1em;
	padding: 0.5em;
	border: 0.15em #CC0000 ridge;
	background-color: #E3E8F9;
	font-size: smaller;
}
.menu_item
{
	padding-left: 1em;
}
.first_child
{
	margin-top: 0.5em;
	padding-left: 1em;
}
.menu a
{
	color: #002F82;
}
.menu a:visited
{
	color: #602F82;
}
.menu li {
	display: block;
}
.menu ul {
	padding-left: 1em;
}