div.header {
	text-align: center;
	background-color: yellow;
}
div.banner {
	font-size: 54pt;
	font-family: "Comic Sans MS";
	font-weight: bold;
}
div.banner a {text-decoration:none;}
div.menu a{
	padding-right:5px;
	padding-left:5px;
	margin-left:0px;
	font-weight: bold;
	color:black;
	text-decoration: none;
        border: 1px solid black;		
}

a.button-1 { background-color:aqua; }
a.button-2 { background-color:fuchsia; }
a.button-3	{ background-color: orange; }
a.button-4 { background-color: lime; }
div.menu a:hover { background-color: aqua; }
div.menu a:visited { color: black; }
/*
div.menu a+a {
	border-left: 1px solid black;
}
*/