.menu_horizontal {
	margin: 0;
	padding: 0 0 0.5em 3em;
	font-weight: bold;
	background-color: white;
}

#menu {
	border-right: 1px solid black;
	border-left: 1px solid black;
}

.menu_horizontal li {
	display: inline;
	padding-left: 1em;
	margin-right: 2em;
	position: relative;
	border: 2px solid #00867D;
	border-right: 0;
	border-top: 0;
}

.menu-corner-decoration {
	position: absolute;
	bottom: -4px;
	left: -4px;
}

.menu_horizontal a {
	text-decoration: none;
	padding-right: 1em;
}

#menu_primary {
	margin-left: 3em;
	position: relative;
	border-right: 1px solid black;
	border-left: 1px solid black;
	width: 75%;
	padding-left: 0;
}

#action_menu {
	margin: 0.2em 2em 0 2em;
	padding: 0.2em;
	border: 1px solid black;
	background-color: #fffaaa;
}