7
votes
1answer
355 views

What is the font used for GNU documentation?

I am interested in learning how documentation for GNU related software is written, and am wondering what type of font is used in their PDF documentation? (for instance, the GCC manual here: ...