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

[themes.git] / LCARStrek / webide / runtimedetails.css

diff --git a/LCARStrek/webide/runtimedetails.css b/LCARStrek/webide/runtimedetails.css
deleted file mode 100644 (file)
index ae2f74c..0000000
--- a/LCARStrek/webide/runtimedetails.css
+++ /dev/null
@@ -1,25 +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/. */
-
-html, body {
-  background: white;
-}
-
-#devicePrivileges {
-  font-family: monospace;
-  padding-left: 6px;
-}
-
-#devtools-check > a {
-  color: #336699;
-  cursor: pointer;
-}
-
-.action {
-  display: inline;
-}
-
-.action[hidden] {
-  display: none;
-}