.doc-search-bar {
  position: relative;
  box-sizing: border-box;
}

.doc-search-bar input {
  box-sizing: border-box;
  width: 100%;
  border: none;
  margin: 0;
  padding: 2px 6px;
  font-size: 18px;
}

.doc-search-dropdown {
  box-sizing: border-box;
  position: absolute;
  z-index: 9999;
  left: -1px;
  right: -1px;
  top: 100%;
  overflow: auto;
  user-select: none;
  font-size: 95%;
}

.doc-search-item {
  padding: 2px 4px;
}

.doc-search-type {
  display: inline-block;
  font-family: "monospace";
  font-size: 95%;
  padding: 0px 4px;
}