.menu {
	vertical-align: bottom;
	padding: 0px;
	margin: 0px;
}
.menu div {
	float:left;
	padding:5px;
	text-align:center;
}
.menu a:link, .menu a:visited, .menu a:active {
	color:#f78300;
	font-size:15px;
	padding:5px 10px 5px 10px;
	border:4px double #000;
	border-bottom:none;
	text-decoration: none;
}
.menu a:hover {
	color:#000;
	background-color:#fb9c2c; /*#ffeab9;*/
}
a:link.menu_current, a:visited.menu_current, a:active.menu_current {
	border-bottom:4px double #fff;
	background-color:#fff;
}
a:hover.menu_current {
	color:#f78300;
	background-color:#fff;
}
.menu_current {
	font-weight: bold;
}
.micon {
	margin:5px 5px 10px 5px;
}