Comment by enriquto

> What is the beautiful monospace font in the pdf

t1xtt, from the txfonts package, freely available