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

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

diff --git a/LCARStrek/webide/logs.css b/LCARStrek/webide/logs.css
deleted file mode 100644 (file)
index 446b6e4..0000000
--- a/LCARStrek/webide/logs.css
+++ /dev/null
@@ -1,18 +0,0 @@
-html, body {
-  background: var(--theme-body-background);
-  color: var(--theme-body-color);
-}
-
-h1 {
-  font-size: 1.2em;
-}
-
-ul {
-  padding: 0;
-  font-size: 1em;
-}
-
-li {
-  list-style: none;
-  margin: 0;
-}