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

[themes.git] / LCARStrek / devtools / app-manager / index.css

diff --git a/LCARStrek/devtools/app-manager/index.css b/LCARStrek/devtools/app-manager/index.css
deleted file mode 100644 (file)
index a195f8e..0000000
--- a/LCARStrek/devtools/app-manager/index.css
+++ /dev/null
@@ -1,105 +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/. */
-
-* {
-  margin: 0;
-  padding: 0;
-  box-sizing: border-box;
-  font-family: Lucida Grande, Helvetica, Helvetica Neue, sans-serif;
-}
-
-#tabs {
-  background: #000000;
-  padding-inline-end: 3px;
-}
-
-#toolbox-tabs {
-  overflow-y: auto;
-}
-
-.button {
-  width: 80px;
-  height: 85px;
-  padding-bottom: 5px;
-  -moz-appearance: none;
-  border: none;
-  background-color: #C09070;
-  color: #000000;
-  cursor: pointer;
-  text-align: center;
-  -moz-box-align: end;
-  font-size: 10px;
-}
-
-.button:first-child {
-  border-top: none;
-}
-
-.button:hover,
-.button[selected]:hover {
-  color: #000000;
-  background-color: #FFCF00;
-}
-
-.button[selected] {
-  color: #FFCF00;
-  background-color: #008484;
-}
-
-.button::-moz-focus-inner {
-  border-width: 0;
-}
-
-.panel {
-  border-width: 0;
-}
-
-.panel:not([selected="true"]) {
-  display: none;
-}
-
-.button.toolbox {
-  background-repeat: no-repeat;
-  background-position: center 15px;
-  background-size: 40px 40px;
-}
-
-.projects-button {
-  background-image: url('chrome://devtools/skin/app-manager/index-icons.svg');
-  background-repeat: no-repeat;
-  background-position: left -5px;
-}
-
-.projects-button[selected]:not(:hover) {
-  background-position: right -5px;
-}
-
-.device-button {
-  background-image: url('chrome://devtools/skin/app-manager/index-icons.svg');
-  background-position: left -85px, top left;
-  background-repeat: no-repeat, no-repeat;
-  background-size: 160px 240px, 2px 80px;
-}
-
-.device-button[selected]:not(:hover) {
-  background-position: right -85px, top left;
-}
-
-.help-button {
-  border-bottom: 0;
-  background-image: url('chrome://devtools/skin/app-manager/index-icons.svg');
-  background-position: left -165px, top left;
-  background-repeat: no-repeat, no-repeat;
-  background-size: 160px 240px, 2px 80px;
-}
-
-.help-button[selected]:not(:hover) {
-  background-position: right -165px, top left;
-}
-
-#connection-footer {
-  border-width: 0;
-  height: 50px;
-  min-height: 50px;
-}