Comment by bobbylarrybobby
12 hours ago
The body font appears to be Libertinus Serif (and I assume Libertinus Sans is the seldom-used sans font), which I agree look much nicer than the default Computer Modern
12 hours ago
The body font appears to be Libertinus Serif (and I assume Libertinus Sans is the seldom-used sans font), which I agree look much nicer than the default Computer Modern
No comments yet
Contribute on Hacker News ↗