move devtools to separate directory, make HTML-based inspector work

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

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/devtools/common.css
similarity index 98%
rename from LCARStrek/browser/devtools/common.css
rename to LCARStrek/devtools/common.css
index 7c9a2f4929876802cc29d1096eac15073d369c3b..0237525bbf332c2d3095ec614acb496d61f54b93 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/devtools/common.css
@@ -16,11 +16,11 @@ notification {
 
 :root {
   font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
+  --proportional-font-family: "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
   --monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
   --monospace-font-size: 12px;
 }
 
-/* Font for code */
 .devtools-monospace {
   font-family: var(--monospace-font-family);
   font-size: var(--monospace-font-size);