div.navbar {
	font-size: 80%;
	text-align: left;
	background-color: #c0c0ff;
}
div.mlsearchmenu {
	font-size: 80%;
	float: right;
	text-align: left;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 0em;
	margin-right: 1em;
	width: 14em;
	padding: 1em;
	color: black;
	background-color: #e0e0e0;
	border-right: solid thick #c0c0c0;
	border-bottom: solid thick #c0c0c0;
	font-weight: bold;
}
div.mlsearchmenu ul {
	margin-top: 0pt;
	margin-bottom: 0pt;
}

span.todetail {
	font-size: 80%;
	font-style: italic;
	background-color: #ffc0c0;
}
span.todetail a:link {
	color: maroon;
}
span.todetail a:visited {
	color: black;
}