/* GI Information Request */
.currentmenu { background-color: #EEEEEE; color: #000000; font-weight: bold;}
.othertext { font-family: Courier;}
div.menu {	padding: 5px;}
/* turn off display [none] of submenu for initial page state */
div.submenu { padding: 2px; margin-left: 20px; display: none;} 
/* Redirected pages */
div.redir {background-color:#FFCC99;}
.tds {font-weight:bold;}