#menu {
  text-align: left; 
  margin-top: 16px;
}

#menu div {
  margin-left: 0em;
  margin-bottom: 1em;
  padding: 0.5em;
  white-space: nowrap;
  text-decoration:underline;
  font-size: 14px;
  cursor:pointer;
}

#menu .highlighted {
  background-color: lightgray;
}

#menu .clicked {
  background-color: darkgray;
}

#menu .selected {
  font-weight: bold;
  background-color:#D8D8D8;
}