<!--

  a:link.menutxt { text-decoration: none; color: #5d8b00; font-face: Serif; }

  a:visited.menutxt { color: #5d8b00; }

  a:active.menutxt { color: #5d8b00; }

  td.menubg { border: 1px solid #5d8b00; background-color: #ffffcc; width: 85px;
	      text-align: center; }

-->