Bug 1251727 - Fix missing toolbox left border when docked to the side. r=pbro
authorTim Nguyen <ntim.bugs@gmail.com>
Sat, 27 Feb 2016 15:31:54 +0100
changeset 322114 20fb4a337443f9a153702ead556abcded1f59f23
parent 322113 a2e1c335d3d116074b7d7b4e6b1550080335e738
child 322115 aba2c94b1bf8d1b0423205a8b45e442c4b35252d
push id5913
push userjlund@mozilla.com
push dateMon, 25 Apr 2016 16:57:49 +0000
treeherdermozilla-beta@dcaf0a6fa115 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewerspbro
bugs1251727
milestone47.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 1251727 - Fix missing toolbox left border when docked to the side. r=pbro MozReview-Commit-ID: 8Fr2yw4ZY2L
devtools/client/themes/splitters.css
--- a/devtools/client/themes/splitters.css
+++ b/devtools/client/themes/splitters.css
@@ -1,19 +1,19 @@
 /* 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/. */
 
 /* Splitters */
-:root[devtoolstheme="light"] .devtools-horizontal-splitter {
+:root[devtoolstheme="light"] {
   /* These variables are used in browser.xul but inside the toolbox they are overridden by --theme-splitter-color */
   --devtools-splitter-color: #dde1e4;
 }
 
-:root[devtoolstheme="dark"] .devtools-horizontal-splitter {
+:root[devtoolstheme="dark"] {
   --devtools-splitter-color: #42484f;
 }
 
 .devtools-horizontal-splitter {
   -moz-appearance: none;
   background-image: none;
   background-color: transparent;
   border: 0;