on 01-10-2024 11h15
You learn something new every day, thanks.
Done the same in Chrome!
Settings/Appearance/Customise Fonts
on 01-10-2024 11h28