Current hardcoded choice of fonts: "Source Code Pro", Menlo, monospace doesn't suit me. They first two aren't installed on my computer, so the result is unreadable output using the default "Courier New" font. I want to be able to set my own font family and font size for document output.