/**
 * Various CSS styles relating to the menu.
 */
#mainmenu {
	float: left;
	background: #E5E5DD;
	width: 128px;
	padding: 30px;
	margin: 20px;
	margin-top: 10px;
	margin-left: 0px;
	border: 2px dashed #BFBFBF;
	border-left: none;
}
#mainmenu ul {
	list-style: none;
	padding: 0;
	margin: 0;
}
#mainmenu ul li {
	margin: 0.7em 0;
}