Bug 1115374 - DevEdition theme - allow left/right border on nav-bar;r=Gijs
authorBrian Grinstead <bgrinstead@mozilla.com>
Thu, 15 Jan 2015 09:21:52 -0800
changeset 237190 2cc184d6dc0f826a395bbb046b05c7e579d6f9f4
parent 237189 f2058d853176691c6995a15ea5cc838d9056eeb5
child 237191 7140e09999c88428cb5136beaf833b558eff48f8
push id431
push usernalexander@mozilla.com
push dateThu, 15 Jan 2015 22:02:12 +0000
reviewersGijs
bugs1115374
milestone38.0a1
Bug 1115374 - DevEdition theme - allow left/right border on nav-bar;r=Gijs
browser/themes/shared/devedition.inc.css
--- a/browser/themes/shared/devedition.inc.css
+++ b/browser/themes/shared/devedition.inc.css
@@ -173,17 +173,17 @@
 
 #navigator-toolbox::after {
   background: var(--chrome-navigator-toolbox-separator-color);
 }
 
 #navigator-toolbox > toolbar:not(#TabsToolbar):not(#toolbar-menubar),
 .browserContainer > findbar,
 #browser-bottombox {
-  background: var(--chrome-secondary-background-color) !important;
+  background-color: var(--chrome-secondary-background-color) !important;
   color: var(--chrome-color);
 }
 
 #navigator-toolbox .toolbarbutton-1,
 .browserContainer > findbar .findbar-button,
 #PlacesToolbar toolbarbutton.bookmark-item {
   color: var(--chrome-color);
   text-shadow: var(--toolbarbutton-text-shadow);
@@ -223,17 +223,18 @@ window:not([chromehidden~="toolbar"]) #u
   border-radius: 0;
   border: none;
   background: transparent;
 }
 
 /* Nav bar specific stuff */
 #nav-bar {
   margin-top: 0 !important;
-  border: none !important;
+  border-top: none !important;
+  border-bottom: none !important;
   border-radius: 0 !important;
   box-shadow: 0 -1px var(--chrome-nav-bar-separator-color) !important;
   background-image: none !important;
 }
 
 /* No extra vertical padding for nav bar */
 #nav-bar-customization-target,
 #nav-bar {