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

[themes.git] / LCARStrek / devtools / variables.css

diff --git a/LCARStrek/devtools/variables.css b/LCARStrek/devtools/variables.css
deleted file mode 100644 (file)
index 14ab52e..0000000
--- a/LCARStrek/devtools/variables.css
+++ /dev/null
@@ -1,106 +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/. */
-
-/* Variable declarations for light and dark devtools themes.
- * Colors are taken from:
- * https://developer.mozilla.org/en-US/docs/Tools/DevToolsColors.
- * Changes should be kept in sync with commandline.css and commandline.inc.css.
- */
-
-/* IMPORTANT NOTE:
- * This file is parsed in js (see client/shared/theme.js)
- * so the formatting should be consistent (i.e. no '}' inside a rule).
- */
-
-:root {
-  --theme-body-background: #000000;
-  --theme-sidebar-background: #000000;
-  --theme-contrast-background: #402800;
-  --theme-contrast-border: #A09090;
-  --theme-contrast-background2: #795900;
-
-  --theme-tab-toolbar-background: #402800;
-  --theme-toolbar-background: #000000;
-  --theme-capped-toolbar-background: #9C9CFF;
-  --theme-capped-toolbar-text: #000000;
-  --theme-alternate-toolbar-background: #A09090;
-  --theme-toolbar-caps: #FF9F00;
-  --theme-button-background: #C09070;
-  --theme-button-color: #000000;
-  --theme-hover-background: #FFCF00;
-  --theme-hover-color: #000000;
-  --theme-active-background: #FF9F00;
-  --theme-active-color: #000000;
-  --theme-selection-background: #008484;
-  --theme-selection-color: #000000;
-  --theme-selection-background2: #004242;
-  --theme-selection-color2: #FF9F00;
-  --theme-selection-background-semitransparent: rgba(0, 132, 132, .5);
-  --theme-splitter-color: #9C9CFF;
-  --theme-comment: #A09090;
-
-  --theme-sidebar-background: #000000;
-  --theme-contrastsidebar-background: #A09090;
-  --theme-contrastsidebar-color: #000000;
-  --theme-contrastsidebar-bordercolor: #000000;
-
-  --theme-body-color: #FF9F00;
-  --theme-body-color-alt: #A09090;
-  --theme-body-color-inactive: #8050B0;
-  --theme-content-color1: #FF9F00;
-  --theme-content-color2: #A09090;
-  --theme-content-color3: #FF9F00;
-  --theme-content-color4: #9C9CFF;
-
-  --theme-text-blue: #3333FF;
-  --theme-highlight-green: #008484;
-  --theme-highlight-blue: #9C9CFF;
-  --theme-highlight-bluegrey: #A09090;
-  --theme-highlight-purple: #C09070;
-  --theme-highlight-darkpurple: #6000CF;
-  --theme-highlight-lightorange: #FFCF00;
-  --theme-highlight-orange: #FF9F00;
-  --theme-highlight-red: #FF0000;
-  --theme-highlight-pink: #E7ADE7;
-  --theme-highlight-gray: #A09090;
-
-  /* For accessibility purposes we want to enhance the focus styling. This
-   * should improve keyboard navigation usability. */
-  --theme-focus-outline-color: #008484;
-
-  /* Colors used in Graphs, like performance tools. Mostly similar to some "highlight-*" colors. */
-  --theme-graphs-green: #008484;
-  --theme-graphs-blue: #9C9CFF;
-  --theme-graphs-bluegrey: #C09070;
-  --theme-graphs-purple: #C09070;
-  --theme-graphs-yellow: #FFCF00;
-  --theme-graphs-red: #FF0000;
-  --theme-graphs-grey: #A09090;
-  --theme-graphs-full-red: #FF0000;
-  --theme-graphs-full-blue: #0000FF;
-
-  /* Images */
-  --theme-pane-collapse-image: url(chrome://devtools/skin/images/pane-collapse.svg);
-  --theme-pane-expand-image: url(chrome://devtools/skin/images/pane-expand.svg);
-
-  /* Tooltips */
-  --theme-tooltip-border: #9C9CFF;
-  --theme-tooltip-background: #000000;
-  /*--theme-tooltip-shadow: rgba(25, 25, 25, 0.76);*/
-
-  /* Command line */
-  --theme-command-line-image: url(chrome://devtools/skin/images/commandline-icon.svg#light-theme);
-  --theme-command-line-image-focus: url(chrome://devtools/skin/images/commandline-icon.svg#light-theme-focus);
-}
-
-:root {
-  --theme-focus-border-color-textbox: #008484;
-  /*--theme-textbox-box-shadow: rgba(97,181,255,.75);*/
-
-  /* For accessibility purposes we want to enhance the focus styling. This
-   * should improve keyboard navigation usability. */
-  --theme-focus-outline: 1px dotted var(--theme-focus-outline-color);
-/*  --theme-focus-box-shadow-textbox: 0 0 0 1px var(--theme-textbox-box-shadow);*/
-}