.menu_button {
  position: relative;
}

.menu_button button {
  font-size: 110%;
  display: block;
  padding: 0.25em;
  border: inset 2px gray;
  width: 12em;
  text-align: center;
  background-color: #eee;
  text-decoration: none;
  color: black;
}

ul[role="menu"] {
  margin: 0;
  padding: 0;
  position: absolute;
  font-size: 110%;
  list-style: none;
  background-color: #eee;
  display: none;
}

ul[role="menu"] li {
  margin: 0;
  padding: 0;
}

ul[role="menu"] a[role="menuitem"],
ul[role="menu"] a[role="menuitem"]:visited {
  display: block;
  text-decoration: none;
  padding: 0.25em;
  padding-left: 0.5em;
  padding-right: 0.5em;
  background-color: #e0e0e0;
  width: 22em;
  color: black;
}

/* focus and hover styling */

a[role="button"]:focus,
a[role="button"]:hover {
  border: 2px solid black;
  background-color: #f8f8f8;
}

ul[role="menu"] a[role="menuitem"]:focus,
ul[role="menu"] a[role="menuitem"]:hover {
  background-color: black;
  color: white;
}
