div.menu, table.menu		{ font-family: sans-serif; font-size: 8.5pt; font-weight: bold; word-spacing: 0px }

div.menu span				{ padding: 0px 0px }

div.menu .option			{ color: navy; background-color: white; padding: 3px 0px; border: solid navy thin }
div.menu .option a			{ padding: 3px 3px; border: solid navy thin; text-decoration: none }
div.menu .option a:hover	{ color: white; background-color: navy }

div.menu .selected			{ background-color: lightgrey; font-style: italic }

@media print	{	div.menu { display: none } }
@media print	{	td#menu_top	{ background-image: none !important } }