Robuta

https://bugzilla.mozilla.org/show_bug.cgi?id=1427524 1427524 - Dropdown (right-click) menu padding increases when increasing DPI, decreases when... NEW (nobody) in Core - XUL. Last updated 2022-10-11. dropdown right menu