/*
style definitions for navigation menu
*/
#navigation{
	width: 125px;
	font-family: Arial, Helvetica, sans-serif;
}
#navigation ul {
	list-style: none;	
	margin: 0;
	padding: 0;
}
#navigation li {
	border-bottom: 1px solid #<?php echo $mu_button_border; ?>;
}
#navigation li a:link, #navigation li a:visited {
	display: block;
	padding: 5px 5px 5px 0.5em;
	border-left: 12px solid #<?php echo $mu_button_border; ?>;
	border-right: 1px solid #<?php echo $mu_button_border; ?>;
	background-color: #<?php echo $mu_button_face; ?>;
	color: #<?php echo $mu_button_text; ?>;
	text-decoration: none;
}
#navigation li a:hover {
	background-color: #<?php echo $mu_button_border; ?>;
	color: #<?php echo $mu_button_text_highlight; ?>;
}
#navigation ul ul {
	margin-left: 12px;
}
#navigation ul ul li {
	border-bottom: 1px solid #<?php echo $mu_sub_button_border; ?>;
	margin: 0;
}
#navigation ul ul a:link, #navigation ul ul a:visited {
	background-color: #<?php echo $mu_sub_button_face; ?>;
	color: #<?php echo $mu_sub_button_text; ?>;
}
#navigation ul ul a:hover {
	background-color: #<?php echo $mu_sub_button_border; ?>;
	color: #<?php echo $mu_sub_button_text_highlight; ?>;
}