Bug 1017565 - Update style editor media sidebar colors to match DevTools themes. r=bgrins
authorTim Nguyen <ntim007@gmail.com>
Mon, 09 Jun 2014 13:17:00 -0400
changeset 187774 e7b49eebb4601ef5c3f74f1c6fcba5adacd44d2e
parent 187773 34ca1403f7d598f89cb62f195b6082132cc3b94c
child 187775 1c4d397ba6e49cc54b8348d1b1510b9b36d6676f
push id1
push userroot
push dateMon, 20 Oct 2014 17:29:22 +0000
reviewersbgrins
bugs1017565
milestone33.0a1
Bug 1017565 - Update style editor media sidebar colors to match DevTools themes. r=bgrins
browser/themes/shared/devtools/styleeditor.css
--- a/browser/themes/shared/devtools/styleeditor.css
+++ b/browser/themes/shared/devtools/styleeditor.css
@@ -61,37 +61,39 @@
 }
 
 .splitview-nav.empty > p {
   padding: 0 10px;
 }
 
 .stylesheet-sidebar {
   width: 230px;
+  -moz-border-start: 1px solid;
 }
 
 .theme-light .stylesheet-sidebar {
-  border-left: 1px solid #A6A6A6;
+  border-color: #aaa; /* Splitters */
 }
 
 .theme-dark .stylesheet-sidebar {
-  border-left: 1px solid #606C75;
+  border-color: #000;  /* Splitters */
 }
 
 .theme-light .media-rule-label {
-  border-bottom: 1px solid #CCC;
+  border-bottom-color: #cddae5; /* Grey */
 }
 
 .theme-dark .media-rule-label {
-  border-bottom: 1px solid #343C45;
+  border-bottom-color: #303b47; /* Grey */
 }
 
 .media-rule-label {
   padding: 4px;
   cursor: pointer;
+  border-bottom: 1px solid;
 }
 
 .theme-light .media-condition-unmatched {
   color: grey;
 }
 
 .theme-dark .media-condition-unmatched {
   color: #606C75;