Zulip Chat Archive
Stream: general
Topic: Font in docs
Winston Yin (尹維晨) (Feb 11 2025 at 01:45):
I'm looking at docs#IsCompact.elim_nhds_subcover, and it's dreadfully unreadable as U
(union) and U
(the letter) look the same in whatever font I have on Chrome / macOS Sonoma. Any recommended workarounds?
Winston Yin (尹維晨) (Feb 11 2025 at 01:45):
They look the same here on Zulip too.
Last updated: May 02 2025 at 03:31 UTC