gecko-dev/devtools/client/themes/jit-optimizations.css

109 lines
2.6 KiB
CSS

/* 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;
}