pdf_mono_font: "DejaVu Sans Mono"
pdf_body_font: "DejaVu Sans"