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 256933 ce72fc6f687a6ac710e677015e62c51105814998
parent 256932 0366b96fc771908beca587ceabff16775c9cb8ce
child 256934 d39a9103cfb1cfc4ee8dbc62ef5adaaadb7058c3
push id29195
push userphilringnalda@gmail.com
push dateSun, 09 Aug 2015 01:37:55 +0000
treeherdermozilla-central@fd63d8ed9d2e [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersbgrins
bugs1192434
milestone42.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 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;