News for hackers. Stuff that matters.

A comment on You can't buy a Raspberry Pi right now. Parent comment

Re:You can't buy a Raspberry Pi right now by LeifCarrotson on Monday October 03, 2022 @05:26PM (#33073921)
It's the 'serif', I'm on Ubuntu 22.04 with neither Georgia nor Times installed. Here's a screenshot at 100% zoom:

https://i.imgur.com/xdMq8SJ.png

and here's a screenshot at 150%:

https://i.imgur.com/hKcCBo7.png

I do see something funny going on with the ligature for 'ff' in "different vendors" and "official retailers, " especially at 100%.

Running `fc-match serif` says that the fault being picked up is DejaVu Serif [0]

[0] https://dejavu-fonts.github.io/Samples.html

[ Parent | on HN ]
Re:You can't buy a Raspberry Pi right now by geerlingguy on Monday October 03, 2022 @06:06PM (#33074364)
Oh wow, that's bad! I guess I haven't tested in FF on Linux recently, but I just updated to default to Helvetica/Arial/sans-serif, and in my quick peek from Ubuntu it seems to look a bit nicer now.
[ Parent | on HN ]