chrome-devtools-frontend
Version:
Chrome DevTools UI
45 lines (37 loc) • 1.03 kB
CSS
/*
* Copyright (c) 2017 The Chromium Authors. All rights reserved.
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE file.
*/
.properties-widget-section {
padding: 2px 0 2px 5px;
flex: none;
}
.properties-widget-toolbar {
border-bottom: 1px solid var(--color-details-hairline-light);
flex-shrink: 0;
}
.properties-widget-filter-box {
flex: auto;
display: flex;
}
.properties-widget-filter-box > input {
outline: none ; /* stylelint-disable-line declaration-no-important */
border: none;
width: 100%;
background: var(--color-background);
padding-left: 4px;
margin: 3px;
}
.properties-widget-filter-box > input:focus,
.properties-widget-filter-box > input:not(:placeholder-shown) {
box-shadow: var(--legacy-focus-ring-active-shadow);
}
.properties-widget-filter-box > input::placeholder {
color: var(--color-text-secondary);
}
@media (forced-colors: active) {
.properties-widget-filter-box > input {
border: 1px solid ButtonText;
}
}