Bug 966275 - DevTools Themes - Change color of main devtools splitter to better match both themes;r=vporof

This commit is contained in:
Brian Grinstead 2014-01-31 15:53:33 -06:00
parent 2382b485d3
commit 4094980186
2 changed files with 10 additions and 2 deletions

View File

@ -27,7 +27,7 @@
background-image: none; background-image: none;
background-color: transparent; background-color: transparent;
border: 0; border: 0;
border-bottom: 1px solid #aaa; border-bottom: 1px solid rgba(118, 121, 125, .5);
min-height: 3px; min-height: 3px;
height: 3px; height: 3px;
margin-top: -3px; margin-top: -3px;
@ -39,7 +39,7 @@
background-image: none; background-image: none;
background-color: transparent; background-color: transparent;
border: 0; border: 0;
-moz-border-end: 1px solid #aaa; -moz-border-end: 1px solid rgba(118, 121, 125, .5);
min-width: 3px; min-width: 3px;
width: 3px; width: 3px;
-moz-margin-start: -3px; -moz-margin-start: -3px;

View File

@ -307,4 +307,12 @@ div.CodeMirror span.eval-text {
border-bottom: 0; border-bottom: 0;
} }
.devtools-horizontal-splitter {
border-bottom: 1px solid #aaa;
}
.devtools-side-splitter {
-moz-border-end: 1px solid #aaa;
}
%include toolbars.inc.css %include toolbars.inc.css