mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-24 18:55:30 +00:00
925311bc77
Differential Revision: https://phabricator.services.mozilla.com/D42300 --HG-- extra : moz-landing-system : lando
196 lines
4.8 KiB
CSS
196 lines
4.8 KiB
CSS
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
/* Toolbars */
|
|
.devtools-toolbar,
|
|
.devtools-sidebar-tabs tabs {
|
|
-moz-appearance: none;
|
|
padding: 0;
|
|
border-width: 0;
|
|
border-bottom-width: 1px;
|
|
border-style: solid;
|
|
height: 24px;
|
|
line-height: 24px;
|
|
box-sizing: border-box;
|
|
}
|
|
|
|
.devtools-toolbar {
|
|
padding: 0 3px;
|
|
}
|
|
|
|
/* <thead> nor <tr> support border, we have to style the <td> */
|
|
.devtools-toolbar td {
|
|
border-bottom: 1px solid var(--theme-splitter-color);
|
|
}
|
|
|
|
.devtools-toolbar-bottom {
|
|
border-top-width: 1px;
|
|
border-bottom: none;
|
|
}
|
|
|
|
/* Input toolbars (toolbars that have a full height text input) */
|
|
|
|
.devtools-input-toolbar {
|
|
display: flex;
|
|
/* @TODO: Remove the !important in bug 1535956 */
|
|
background-color: var(--theme-body-background) !important;
|
|
color: inherit;
|
|
}
|
|
|
|
.devtools-input-toolbar > .devtools-searchbox:first-child {
|
|
margin-inline-start: -3px; /* This needs to match .devtools-toolbar's padding */
|
|
}
|
|
|
|
/* Expected space around a separator:
|
|
* -----------------------
|
|
* 4
|
|
* [button] 2 | 2 [button]
|
|
* 4
|
|
* -----------------------
|
|
* We're using a 1px horizontal margin, since buttons already have their own
|
|
* 1px horizontal margin, and margins don't collapse between flex items.
|
|
* Some separators may be using a bigger, 6px horizontal margin.
|
|
*/
|
|
.devtools-separator {
|
|
border-inline-start: 1px solid var(--theme-toolbar-separator);
|
|
height: calc(100% - 8px);
|
|
margin: 4px 1px;
|
|
}
|
|
|
|
/* In-tools sidebar */
|
|
.devtools-sidebar-tabs {
|
|
-moz-appearance: none;
|
|
margin: 0;
|
|
height: 100%;
|
|
}
|
|
|
|
.devtools-sidebar-tabs > tabpanels {
|
|
-moz-appearance: none;
|
|
background: transparent;
|
|
padding: 0;
|
|
border: 0;
|
|
}
|
|
|
|
.theme-light .devtools-sidebar-tabs > tabpanels {
|
|
background: var(--theme-sidebar-background);
|
|
color: var(--theme-body-color);
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs {
|
|
position: static;
|
|
font: inherit;
|
|
margin-bottom: 0;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.devtools-sidebar-alltabs {
|
|
-moz-appearance: none;
|
|
height: 24px;
|
|
line-height: 24px;
|
|
padding: 0 4px;
|
|
margin: 0;
|
|
border-width: 0 0 1px 0;
|
|
border-inline-start-width: 1px;
|
|
border-style: solid;
|
|
}
|
|
|
|
.devtools-sidebar-alltabs .toolbarbutton-icon {
|
|
display: none;
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > .tabs-right,
|
|
.devtools-sidebar-tabs tabs > .tabs-left {
|
|
display: none;
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab {
|
|
-moz-appearance: none;
|
|
/* We want to match the height of a toolbar with a toolbarbutton
|
|
* First, we need to replicated the padding of toolbar (4px),
|
|
* then we need to take the border of the buttons into account (1px).
|
|
*/
|
|
padding: 0 3px;
|
|
margin: 0;
|
|
min-width: 78px;
|
|
text-align: center;
|
|
background-color: transparent;
|
|
color: inherit;
|
|
-moz-box-flex: 1;
|
|
border-width: 0;
|
|
border-inline-start-width: 1px;
|
|
border-style: solid;
|
|
border-radius: 0;
|
|
position: static;
|
|
text-shadow: none;
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab {
|
|
border-image: linear-gradient(transparent 15%, var(--theme-splitter-color) 15%, var(--theme-splitter-color) 85%, transparent 85%) 1 1;
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab[selected],
|
|
.devtools-sidebar-tabs tabs > tab[selected] + tab {
|
|
border-image: linear-gradient(var(--theme-splitter-color), var(--theme-splitter-color)) 1 1;
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab:first-child {
|
|
border-inline-start-width: 0;
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab:hover {
|
|
background: rgba(0, 0, 0, 0.12);
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab:hover:active {
|
|
background: rgba(0, 0, 0, 0.2);
|
|
}
|
|
|
|
.devtools-sidebar-tabs tabs > tab[selected],
|
|
.devtools-sidebar-tabs tabs > tab[selected]:hover:active {
|
|
color: var(--theme-selection-color);
|
|
background: var(--theme-selection-background);
|
|
}
|
|
|
|
.devtools-invisible-splitter {
|
|
border-color: transparent;
|
|
background-color: transparent;
|
|
}
|
|
|
|
splitter.devtools-horizontal-splitter,
|
|
.devtools-side-splitter {
|
|
background-color: var(--theme-splitter-color);
|
|
}
|
|
|
|
/* Dropdown Menu Button */
|
|
.devtools-dropdown-button {
|
|
background-image: url("chrome://devtools/skin/images/select-arrow.svg") !important;
|
|
background-position: right center !important;
|
|
background-repeat: no-repeat !important;
|
|
text-overflow: ellipsis;
|
|
overflow: hidden;
|
|
padding-inline-start: 2px !important;
|
|
padding-inline-end: 10px !important;
|
|
fill: var(--theme-icon-color);
|
|
-moz-context-properties: fill;
|
|
}
|
|
|
|
html[dir="rtl"] .devtools-dropdown-button {
|
|
background-position: left center !important;
|
|
}
|
|
|
|
.devtools-dropdown-button:not(:hover) {
|
|
background-color: transparent;
|
|
}
|
|
|
|
/* Style for title holder inside the dropdown menu button */
|
|
.devtools-dropdown-button .title {
|
|
display: inline-block;
|
|
width: 100%;
|
|
overflow: hidden;
|
|
padding-top: 0.15em;
|
|
text-align: center;
|
|
text-overflow: ellipsis;
|
|
white-space: nowrap;
|
|
}
|