Fonts in PDF differ between text and dot images

It's a little jarring that the text in a PDF is in a different font from the text in dot graphs.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information