#menulist, #menulist-en {
	margin-bottom: -10px;
}
#menulist ul, #menulist-en ul {
	border-bottom: 1px solid #CCCCCC;
	border-top: 1px solid #CCCCCC;
	text-align: left;
	padding-bottom: 5px;
	padding-top: 5px;
	padding-left: 0px;
	margin-top: 0;
	/* cancels gap caused by top padding in Opera 7.54 */
	margin-left: 0;
	background-color: #e7e7e7;
	width: 720px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 0.85em;
	font-weight: bold;
	/* fixes Firefox 0.9.3 */
}
#menulist li, #menulist-en li {
	display: inline;
	/* matches link padding except for left and right */
	padding: 0;
	margin: 0;
	border-right: 1px dashed #999;
}
#menulist #last, #menulist-en #last
{
	border-right: none;
}
#menulist a:hover  {
	background-color: #eee;
	padding: 5px 42px 4px 42px;
	white-space: pre;
	display: inline;
}
#menulist a, #menulist a:link {
	color: #666666;
	padding: 5px 42px 4px 42px;
	text-decoration: none;
	white-space: pre;
	display: inline;
}
#menulist-en a:hover  {
	background-color: #eee;
/*	padding: 5px 65px 4px 65px; Replaced by NB 111007 */
	padding: 5px 42px 4px 42px;
	white-space: pre;
	display: inline;
}
#menulist-en a, #menulist-en a:link {
	color: #666666;
/*	padding: 5px 65px 4px 65px; Replaced by NB 111007 */
	padding: 5px 42px 4px 42px;
	text-decoration: none;
	white-space: pre;
	display: inline;
}
#menulist a#current, #menulist a#current:link, #menulist-en a#current, #menulist-en a#current:link {
	color: #000;
	cursor: default;
	font-weight: bolder;
	background-color: #eee;
}

#menulist a#current:hover, #menulist-en a#current:hover
{
	background-color: #eee;
}