On Tue, 25 Aug 2020 at 08:21, Aner Perez <a...@ncstech.com> wrote: > > Looks like you may have been playing with the font sizes in your browser > preferences (e.g. > General > Fonts and Colors > Advanced... > Monospace > Size).
I haven't changed from the default of what Firefox has. I just created a new firefox profile and have the same results as in the picture. At any rate, somehow it doesn't affect a wider audience and therefore it's fine as is.
