/*********************************************

This is the style file for this project.

**********************************************/


#menu {
}

.menu_button {
  width: 10em;
  font-family: Helvetica, sans-serif;
  font-size: 2em;
  background-color: rgb(255,255,150);
  padding: 5px;
  font-weight: bold;
  border: 1px solid black;
  text-align: center;
  margin-bottom: 0.5em;
}