There are two issues this addresses:
1) Update badges were showing in the middle of the hamburger
button for high-DPI displays. This was because I failed to
copy the margin-inline-end from the low-DPI styles to the
high-DPI styles, and so the high-DPI's margin settings were
overriding those.
2) Somehow the drop from -9px to -8px in the margin caused the
icon to start eating into the second row of the hamburger,
which was not intended, and was not happening when I wrote
the initial code, or else I made some mistake when I was
testing. In any case, I'm not sure of the reason for the
discrepancy, but this change undoes it and looks fine.
These two changes are together because they touch the same code.
Since the high-DPI margin ends up not being different from the
low-DPI margin, we're just deleting the high-DPI's entry.
Images:
low-dpi - https://d2ppvlu71ri8gs.cloudfront.net/items/021F0M3u1Z3q1m271d2G/low-dpi.PNG
high-dpi - https://d2ppvlu71ri8gs.cloudfront.net/items/31313s420d2R373f271Z/high-dpi.PNG
MozReview-Commit-ID: 7Np4x1DSUuN
--HG--
extra : rebase_source : 4bc5da0fd3c353b83e09bf9528949f729484156b
An explanation of the Mozilla Source Code Directory Structure and links to
project pages with documentation can be found at:
https://developer.mozilla.org/en/Mozilla_Source_Code_Directory_Structure
For information on how to build Mozilla from the source code, see:
https://developer.mozilla.org/en/docs/Build_Documentation
To have your bug fix / feature added to Mozilla, you should create a patch and
submit it to Bugzilla (https://bugzilla.mozilla.org). Instructions are at:
https://developer.mozilla.org/en/docs/Creating_a_patch
https://developer.mozilla.org/en/docs/Getting_your_patch_in_the_tree
If you have a question about developing Mozilla, and can't find the solution
on https://developer.mozilla.org, you can try asking your question in a
mozilla.* Usenet group, or on IRC at irc.mozilla.org. [The Mozilla news groups
are accessible on Google Groups, or news.mozilla.org with a NNTP reader.]
You can download nightly development builds from the Mozilla FTP server.
Keep in mind that nightly builds, which are used by Mozilla developers for
testing, may be buggy. Firefox nightlies, for example, can be found at:
https://archive.mozilla.org/pub/firefox/nightly/latest-mozilla-central/
- or -
https://nightly.mozilla.org/