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