div#divMenu {
	border: 1px solid black;
	background-color: white;
	font-size: 9pt;
	width: 15em;
	display: none;
	position: absolute;
	padding: 5px;
}
div.popup {
	display: none;
}
a.popup {
	font-weight: bold;
}
a.popup:link {
	color: #0000ff;
}
a.popup:visited {
	color: #0000ff;
}
a.popup:active {
	color: #0000ff;
}
a.popup:hover {
	background-color: #00ffff;
	color: #ff0000;
}