Bug 947257 - Splitters have a dark squary sort of thing in their center. r=paul
authorBrian Grinstead <bgrinstead@mozilla.com>
Fri, 06 Dec 2013 11:34:21 -0600
changeset 174027 05643bb0c75e5fa3bd3d475375d6d28de87b2044
parent 174026 12df8614fc1d1c3fcea1e1ccafe213d5e1f69f6c
child 174028 0e7592478aa504a9c53db721e1f5542c26823b6c
child 174056 b86e8f77fa96690a5f3c6867fa7544d4113796e0
push id3224
push userlsblakk@mozilla.com
push dateTue, 04 Feb 2014 01:06:49 +0000
treeherdermozilla-beta@60c04d0987f1 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewerspaul
bugs947257
milestone28.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 947257 - Splitters have a dark squary sort of thing in their center. r=paul
browser/themes/shared/devtools/common.css
--- a/browser/themes/shared/devtools/common.css
+++ b/browser/themes/shared/devtools/common.css
@@ -19,26 +19,28 @@
 %ifdef XP_WIN
   font-family: Consolas, monospace;
 %endif
 }
 
 /* Splitters */
 .devtools-horizontal-splitter {
   -moz-appearance: none;
+  background-image: none;
   border-top: 1px solid black;
   border-bottom-width: 0;
   min-height: 3px;
   height: 3px;
   margin-bottom: -3px;
   position: relative;
 }
 
 .devtools-side-splitter {
   -moz-appearance: none;
+  background-image: none;
   border: 0;
   -moz-border-start: 1px solid black;
   min-width: 0;
   width: 3px;
   background-color: transparent;
   -moz-margin-end: -3px;
   position: relative;
   cursor: e-resize;