Preformatted (<pre>) text appears in the body font in the PDF. How do I specify an appropriate monospace font? I uploaded SourceCodePro and added the following to the content formatting CSS, but it had no effect:
div.programlisting div pre {
font-family: SourceCodePro;
}
I find no other reference to pre in the default CSS. The following had no effect, either:
code, pre { font-family: SourceCodePro; }
Also, there appears to be a bug in the <pre> output, the first line appears at the end of the previous paragraph.