Change font to Ubuntu / Ubuntu Mono
Tweak font weights
port Extreme Value Theorem post