: block;
  width: 100%;
  margin: 5px 0 0 0;
  font-size: 1em;
  padding: 2px;
  background-color: #bbb;
  border: 1px solid #999;
}

#menu-search-results {
  overflow-x: hidden;
  overflow-y: auto;
}

li.menu-search-result-clause:before {
  content: 'clause';
  width: 40px;
  display: inline-block;
  text-align: right;
  padding-right: 1ex;
  color: #666;
  font-size: 75%;
}
li.menu-search-result-op:before {
  content: 'op';
  width: 40px;
  display: inline-block;
  text-align: right;
  padding-right: 1ex;