Font in docs

Stream: general

[Winston Yin (尹維晨)]

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 (尹維晨)]

They look the same here on Zulip too.