author | Paolo Amadini <paolo.mozmail@amadzone.org> |
Sat, 08 Aug 2015 00:50:53 +0100 | |
changeset 256933 | ce72fc6f687a6ac710e677015e62c51105814998 |
parent 256932 | 0366b96fc771908beca587ceabff16775c9cb8ce |
child 256934 | d39a9103cfb1cfc4ee8dbc62ef5adaaadb7058c3 |
push id | 29195 |
push user | philringnalda@gmail.com |
push date | Sun, 09 Aug 2015 01:37:55 +0000 |
treeherder | mozilla-central@fd63d8ed9d2e [default view] [failures only] |
perfherder | [talos] [build metrics] [platform microbench] (compared to previous push) |
reviewers | bgrins |
bugs | 1192434 |
milestone | 42.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
|
browser/themes/osx/browser.css | file | annotate | diff | comparison | revisions | |
browser/themes/shared/identity-block/identity-block.inc.css | file | annotate | diff | comparison | revisions |
--- 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;