.navmenu     { background-color: #000091; color: #FFFFFF;                 padding-left: 3; padding-right: 3; padding-top: 5;                padding-bottom: 5 }.navtop      { font-size: 8pt; color: #FFFF00; font-weight: bold }a.navtop:visited {  color: #FFFF00}a.navtop:link 	{  color: #FFFF00}a.navtop:active  {  color: #FF0000}a.navtop:hover   {  color: #FFFFFF}.navitem      { font-size: 8pt; color: #FFFFFF; font-weight: normal}a.navitem:visited { color: #FFFFFF}a.navitem:link 	{  color: #FFFFFF}a.navitem:active {  color: #FF0000}a.navitem:hover 	{  color: #FFFF00}a				{text-decoration: none}