body.menu {margin:0;
  background:Yellow;
  }
body.menu a {text-decoration:none;
  font-size: 130% /*larger*/;
  /*font-weight: bold;*/
  }
body.menu a.current {text-decoration:underline}
body.menu a:link {color:Red}
body.menu a:visited {color:Red}
body.menu a:hover {color:White; background:Green}
body.menu a:active {color:White; background:Blue}
body.submenu {
  background:Yellow
  }
body.submenu a {text-decoration:none}
body.submenu a:link {color:Red}
body.submenu a:visited {color:Red}
body.submenu a:hover {color:Green; background:Yellow}
body.submenu a:active {color:Blue; background:Yellow}
body.main {
  background:White
  }
body.main h2 {color:Blue}
body.main h3 {color:Blue}
body.main a:link {text-decoration:none}
body.main a:visited {text-decoration:none}