div.menu
	{
	position:fixed;
/*	position: absolute;
*/	top: 0;
	left: 0;
	padding-top: 10px;
	width: 173px;
	text-align: center;
	}
.logo
	{
	height: 120px;
	width: 180px;
	}

.button img
	{
	padding: 2px;
	border: medium solid white; 
	}
img.buttonCurrent
	{
	padding: 2px;
	border:  3px solid lime;	/* medium */
	}
.button:hover img
	{
	border: 3px solid red;	/* medium */
	}
.button:hover
	{
	color: white; /* irrelevant definition to overcome IE bug */
	}