diff options
Diffstat (limited to 'devtools/client/themes/jit-optimizations.css')
-rw-r--r-- | devtools/client/themes/jit-optimizations.css | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/devtools/client/themes/jit-optimizations.css b/devtools/client/themes/jit-optimizations.css new file mode 100644 index 000000000..363810504 --- /dev/null +++ b/devtools/client/themes/jit-optimizations.css @@ -0,0 +1,108 @@ +/* vim:set ts=2 sw=2 sts=2 et: */ +/* 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/. */ + +/** + * JIT View + */ + +#jit-optimizations-view { + width: 350px; + min-width: 200px; + white-space: nowrap; + --jit-tree-row-height: 14; + --jit-tree-header-height: 16; +} + +/* Override layout styles applied by minimal-xul.css */ +#jit-optimizations-view div { + display: block; +} +#jit-optimizations-view span { + display: inline-block; +} + +#jit-optimizations-view > div { + /* For elements that need to flex to fill the available space and/or + * scroll on overflow, we need to use the old flexbox model, since the + * parent nodes are in the XUL namespace. The new flexbox model can't + * properly compute dimensions and will ignore `flex: ${number}` properties, + * since no other parent node has a flex display. */ + display: -moz-box; + -moz-box-flex: 1; + -moz-box-orient: vertical; +} + +#jit-optimizations-view .optimization-header, +#jit-optimizations-view .tree * { + /* We can, however, display child nodes as flex to take advantage of + * horizontal/vertical inlining. */ + display: flex; +} + +#jit-optimizations-view .optimization-header { + height: var(--jit-tree-header-height); + padding: 2px 5px; + background-color: var(--theme-tab-toolbar-background); +} + +#jit-optimizations-view .header-title { + font-weight: bold; + padding-inline-end: 7px; +} + +#jit-optimizations-view .tree { + display: -moz-box; + -moz-box-flex: 1; + -moz-box-orient: vertical; + overflow: auto; + background-color: var(--theme-body-background); +} + +#jit-optimizations-view .tree-node { + height: var(--jit-tree-row-height); +} + +#jit-optimizations-view .tree-node button { + display: none; +} + +#jit-optimizations-view .optimization-outcome.success { + color: var(--theme-highlight-green); +} +#jit-optimizations-view .optimization-outcome.failure { + color: var(--theme-highlight-red); +} + +.theme-dark .opt-icon::before { + background-image: url(chrome://devtools/skin/images/webconsole.svg); +} +.theme-light .opt-icon::before { + background-image: url(chrome://devtools/skin/images/webconsole.svg#light-icons); +} + +.opt-icon::before { + display: inline-block; + content: ""; + background-repeat: no-repeat; + background-size: 72px 60px; + /* show grey "i" bubble by default */ + background-position: -36px -36px; + width: 10px; + height: 10px; + max-height: 12px; +} + +.opt-icon::before { + margin: 1px 6px 0 0; +} + +.opt-icon.warning::before { + background-position: -24px -24px; +} + +/* Frame Component */ +.frame-link { + margin-inline-start: 7px; +} |