remove devtools and webide theming from LCARStrek due to large rate of churn in devto...
[themes.git] / LCARStrek / devtools / shadereditor.css
diff --git a/LCARStrek/devtools/shadereditor.css b/LCARStrek/devtools/shadereditor.css
deleted file mode 100644 (file)
index 7c675cd..0000000
+++ /dev/null
@@ -1,101 +0,0 @@
-/* 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/. */
-
-window {
-  padding: 0;
-}
-
-/* Reload and waiting notices */
-
-.notice-container {
-  margin-top: -50vh;
-  color: var(--theme-body-color);
-}
-
-#reload-notice {
-  font-size: 120%;
-}
-
-#waiting-notice {
-  font-size: 110%;
-}
-
-/* Shaders pane */
-
-#shaders-pane {
-  min-width: 150px;
-}
-
-.program-item {
-  padding: 2px 0px;
-}
-
-.side-menu-widget-item-checkbox {
-  -moz-appearance: none;
-  opacity: 0;
-  transition: opacity .15s ease-out 0s;
-}
-
-/* Only show the checkbox when the source is hovered over, is selected, or if it
- * is not checked. */
-.side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
-.side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
-.side-menu-widget-item-checkbox:not([checked]) {
-  opacity: 1;
-  transition: opacity .15s ease-out 0s;
-}
-
-.side-menu-widget-item-checkbox .checkbox-check {
-  background-image: url("images/itemToggle.svg");
-  background-color: transparent;
-  width: 16px;
-  height: 16px;
-  border: 0;
-}
-
-side-menu-widget-item-checkbox:not([checked]) .checkbox-check,
-.side-menu-widget-item-checkbox:not([checked]) + vbox {
-  opacity: 0.3;
-}
-
-/* Shader source editors */
-
-#editors-splitter {
-  border-color: var(--theme-contrastsidebar-bordercolor);
-}
-
-.editor-label {
-  padding: 1px 12px;
-  border-top: 1px solid;
-}
-
-.editor-label {
-  background: var(--theme-contrastsidebar-background);
-  color: var(--theme-contrastsidebar-color);
-}
-
-.editor-label[selected] {
-  background-color: var(--theme-selection-background);
-  color: var(--theme-selection-color);
-}
-
-/* Responsive sidebar */
-
-@media (max-width: 700px) {
-  #shaders-pane {
-    max-height: 60vh;
-  }
-
-  .side-menu-widget-container {
-    box-shadow: none !important;
-  }
-
-  .side-menu-widget-item-arrow {
-    background-image: none !important;
-  }
-
-  .editor-label {
-    -moz-box-ordinal-group: 0;
-  }
-}