remove default border of splitters and workarounds for that

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

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 5c94eaa4ef6c91fefcc8e0e6b0109a89c9d8fe36..68d094fcc1929e5545def2b2ccbb249ed0dfe7d8 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -137,14 +137,12 @@ devtools-menulist:-moz-focusring,
 /* Splitters */
 
 .devtools-horizontal-splitter {
-  border: none;
   min-height: 3px;
   height: 3px;
   position: relative;
 }
 
 #devtools-side-splitter {
-  border: 0;
   min-width: 0;
   width: 3px;
   position: relative;