div
{
	background-color: #FFFFFF;
	padding: 7px;
	border: 1px solid black;
	margin: 5px;
}

div.menu
{
	background-color: #C0C0C0;
}

body
{
	background-color: #EFEFEF;
}