On Fri, 13 Dec 2019, Dr. Nikolaus Klepp wrote:

> Anno domini 03:08:19 Fri, 13 Dec 2019 +0100 (CET)
> Felmon Davis scripsit:
>>
>> I still can't quite get Firefox to behave; I'm essentially running
>> Firefox-esr. Firefor 71.0 just ignores userChrome.css and I cannot
>> find the magic gtk spell for it.
>
> My notes say this about high DPI mode & Firefox (it sets a kind of pixe-to pixel zoom factor):
> about:config --> layout.css.devPixelsPerPx=2

thanks; I discovered this. very, very useful!

-- 
Felmon Davis