div.completion {
  background-color: white;
}
div.completion ul {
  margin: 0;
  padding: 0.5em;
  border: solid black 1px;
}
div.completion li {
  list-style-type: none;
}
div.completion li.selected {
  background-color: #ccc;
  color: black;
}
div.completion li.level1 {
  font-weight: bold;
  border-bottom: solid black 1px;
}
div.completion li.level2 {
  padding-left: 1em;
}
div.completion li.level3 {
  padding-left: 2em;
}
div.completion li b {
  font-weight: normal;
  text-decoration: underline;
  color: #cc0000;
}