remove devtools and webide theming from LCARStrek due to large rate of churn in devto...

[themes.git] / LCARStrek / devtools / jit-optimizations.css

diff --git a/LCARStrek/devtools/jit-optimizations.css b/LCARStrek/devtools/jit-optimizations.css
deleted file mode 100644 (file)
index 3638105..0000000
--- a/LCARStrek/devtools/jit-optimizations.css
+++ /dev/null
@@ -1,108 +0,0 @@
-/* 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;
-}