div.menufirst {
  font-size: 150%;
  font-weight: bold;
}
div.menuitem {
  cursor: pointer;
  border: solid black 1px;
  background-color: RGB(220,220,220);
  width: 10em;
  margin: 2px;
  padding: 2px;
}
div.menuitem:hover {
  background-color: RGB(240,240,240);
}