button {
	background-color: #d8be85;
	border: 2px outset #d8be85;
	font-weight: bold;
	font-size: 9pt;
}

button.nav, button.activenav {
	width: 14em;
	margin-bottom: 5px;
}

button.activenav {
	margin-bottom: 5px;
	background-color: #92815A;
	border: 2px inset #92815A;
}

button.topnav, button.activetopnav {
	margin-bottom: 5px;
}

button.activetopnav {
	margin-bottom: 5px;
	background-color: #92815A;
	border: 2px inset #92815A;
}