Comment by Tokelin

Thank you for this. While searching I also found `browser.uidensity`. Setting it to 1 makes the whole UI more compact, which gives some more vertical pixels for the website window.