Bug 1192434 - Adjust the vertical padding of the identity box across platforms. r=bgrins
authorPaolo Amadini <paolo.mozmail@amadzone.org>
Sat, 08 Aug 2015 00:50:53 +0100
changeset 256915 ce72fc6f687a6ac710e677015e62c51105814998
parent 256914 0366b96fc771908beca587ceabff16775c9cb8ce
child 256916 d39a9103cfb1cfc4ee8dbc62ef5adaaadb7058c3
push id14533
push userpaolo.mozmail@amadzone.org
push dateSat, 08 Aug 2015 00:49:46 +0000
treeherderfx-team@ce72fc6f687a [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersbgrins
bugs1192434
milestone42.0a1
Bug 1192434 - Adjust the vertical padding of the identity box across platforms. r=bgrins
browser/themes/osx/browser.css
browser/themes/shared/identity-block/identity-block.inc.css
--- a/browser/themes/osx/browser.css
+++ b/browser/themes/osx/browser.css
@@ -1656,16 +1656,21 @@ toolbarbutton[constrain-size="true"][cui
 }
 
 @conditionalForwardWithUrlbar@:-moz-locale-dir(rtl) {
   -moz-box-direction: reverse;
 }
 
 %include ../shared/identity-block/identity-block.inc.css
 
+#identity-box {
+  padding-top: 2px;
+  padding-bottom: 2px;
+}
+
 #urlbar:not([focused="true"]) > #identity-box {
   margin-top: -1px;
   margin-bottom: -1px;
   padding-top: 3px;
   padding-bottom: 3px;
 }
 
 @media (-moz-mac-yosemite-theme) {
--- a/browser/themes/shared/identity-block/identity-block.inc.css
+++ b/browser/themes/shared/identity-block/identity-block.inc.css
@@ -20,17 +20,17 @@
 
   border-inline-end: 1px solid var(--identity-box-border-color);
   border-image: linear-gradient(transparent 15%,
                                 var(--identity-box-border-color) 15%,
                                 var(--identity-box-border-color) 85%,
                                 transparent 85%);
   border-image-slice: 1;
   font-size: .9em;
-  padding: 2px 5px;
+  padding: 3px 5px;
   margin-inline-end: 4px;
   overflow: hidden;
 }
 
 #identity-box:hover,
 #identity-box[open=true] {
   background-color: var(--identity-box-selected-background-color);
   border-image-source: none;