#menu {
	background-color:#aabbaa;
	padding:2px;
	border-top:1px solid #DDFFBB;
	font-size:90%;
}

#menu #server_select {
	display:inline;
}

#menu A:link {color:#002200; text-decoration:none; padding-left:5px;}
#menu A:visited {color:#224422; text-decoration:none; padding-left:5px;}