@theia/core/src/browser/style/search-box.css

Theia is a cloud & desktop IDE framework implemented in TypeScript.

/********************************************************************************
 * Copyright (C) 2018 TypeFox and others.
 *
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License v. 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 *
 * This Source Code may also be made available under the following Secondary
 * Licenses when the conditions for such availability set forth in the Eclipse
 * Public License v. 2.0 are satisfied: GNU General Public License, version 2
 * with the GNU Classpath Exception which is available at
 * https://www.gnu.org/software/classpath/license.html.
 *
 * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
 ********************************************************************************/

:root {
  --theia-search-box-radius: 2px;
  --theia-search-box-max-width: 500px;
}

.theia-search-box-widget {
  position: absolute;
  top: 0;
  right: var(--theia-scrollbar-width);
  background-color: var(--theia-sideBar-background);
  z-index: calc(var(--theia-tabbar-toolbar-z-index) + 1);
  border-radius: var(--theia-search-box-radius);
}

.theia-search-box-widget .theia-search-box {
  display: flex;
  padding: calc(var(--theia-ui-padding) / 2);
  border: var(--theia-border-width) solid var(--theia-widget-border, var(--theia-list-hoverBackground));
}

.theia-search-box-widget .theia-search-box.no-match {
  border: var(--theia-border-width) solid var(--theia-inputValidation-errorBorder);
}

.theia-search-box-widget .theia-search-input {
  flex-grow: 1;
  user-select: none;
  background-color: var(--theia-input-background);
  padding: calc(var(--theia-ui-padding) / 2);
}

.theia-search-box-widget .theia-search-box>.theia-search-buttons-wrapper {
  max-width: var(--theia-search-box-max-width);
  display: flex;
  align-items: center;
}

.theia-search-box-widget .theia-search-button {
  padding: 2px;
}

.theia-search-box-widget .theia-search-button.no-match {
  opacity: var(--theia-mod-disabled-opacity);
}