#menu {
  border-style: none;
  margin: 0px;
  width: 120px;
  overflow: hidden;
}
#menu ul {
  list-style: none;
  margin: 0;
  padding: 0;
}
#menu a {
  display: block;
  text-decoration: none;
  margin-top: 2px;
  margin-bottom: 4px;
  vertical-align: middle;
  padding-top: 1px;
  padding-left: 1px;
  padding-right: 1px;
  padding-bottom: 1px;
  border-style: solid;
  border-width: 1px;
  border-top-color: #5252FF;
  border-left-color: #5252FF;
  border-bottom-color: #000094;
  border-right-color: #000094;
  font-weight: bold;
}
#menu a:link,
#menu a:visited {
  color: #FFFFFF;
  background-color: #0000AA;
  text-decoration: none;
}
#menu a:hover {
  color: #FFFFFF;
  background-color: #0000FF;
  text-decoration: none;
}
#menu a:active {
  color: #FFFFFF;
  text-decoration: none;
}