jupyterlab/packages/documentsearch-extension/style/index.css

.jp-DocumentSearch-input {
  border: none;
  outline: none;
  font-size: var(--jp-ui-font-size1);
}

.jp-DocumentSearch-overlay {
  position: absolute;
  background-color: var(--jp-layout-color0);
  border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  border-left: var(--jp-border-width) solid var(--jp-border-color0);
  border-bottom-right-radius: var(--jp-border-radius);
  border-bottom-left-radius: var(--jp-border-radius);
  top: 0;
  right: 0;
  z-index: 5;
  min-width: 300px;
  padding: 2px;
  font-size: var(--jp-ui-font-size1);
}

.jp-DocumentSearch-overlay * {
  color: var(--jp-ui-font-color0);
}

.jp-DocumentSearch-input-wrapper {
  border: var(--jp-border-width) solid var(--jp-border-color0);
  border-radius: var(--jp-border-radius);
  display: inline-block;
  background-color: var(--jp-layout-color0);
}

.jp-DocumentSearch-input-wrapper * {
  background-color: var(--jp-layout-color0);
}

.jp-DocumentSearch-input-wrapper button {
  outline: 0;
  border: none;
  width: 20px;
  height: 20px;
  background-color: var(--jp-layout-color0);
}

.jp-DocumentSearch-regex-button {
  background-image: var(--jp-icon-search-regex);
}

.jp-DocumentSearch-case-button {
  background-image: var(--jp-icon-search-case-sensitive);
}

.jp-DocumentSearch-input-button:before {
  display: block;
  padding-top: 100%;
}

.jp-DocumentSearch-input-button-off {
  opacity: var(--jp-search-toggle-off-opacity);
}

.jp-DocumentSearch-input-button-off:hover {
  opacity: var(--jp-search-toggle-hover-opacity);
}

.jp-DocumentSearch-input-button-on {
  opacity: var(--jp-search-toggle-on-opacity);
}

.jp-DocumentSearch-index-counter {
  padding-left: 10px;
  padding-right: 10px;
  user-select: none;
  min-width: 50px;
  display: inline-block;
}

.jp-DocumentSearch-up-down-wrapper {
  display: inline-block;
}

.jp-DocumentSearch-up-down-wrapper button {
  outline: 0;
  border: none;
  width: 20px;
  height: 20px;
  padding-bottom: 5px;
  background-color: var(--jp-layout-color0);
}

.jp-DocumentSearch-up-button {
  background-image: var(--jp-icon-search-arrow-up);
}

.jp-DocumentSearch-down-button {
  background-image: var(--jp-icon-search-arrow-down);
}

.jp-DocumentSearch-close-button {
  display: inline-block;
  margin-left: 4px;
  background-size: 16px;
  height: 16px;
  width: 16px;
  background-image: var(--jp-icon-close);
  background-position: center;
  background-repeat: no-repeat;
}

.jp-DocumentSearch-close-button:hover {
  background-size: 16px;
  background-image: var(--jp-icon-close-circle);
}

.jp-DocumentSearch-regex-error {
  color: var(--jp-error-color0);
}