From d7dd3810a2a8f186d152bcbbb6ed138b4226c922 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 9 Jun 2019 11:51:12 +0300 Subject: Change: use same font for DOT images as for main text in PDF --- pandoc-fable-filter | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'pandoc-fable-filter') diff --git a/pandoc-fable-filter b/pandoc-fable-filter index 0efcc06..fe4cced 100755 --- a/pandoc-fable-filter +++ b/pandoc-fable-filter @@ -17,14 +17,19 @@ from pandocfilters import get_filename4code, get_caption, get_extension kinds = { 'plantuml': { 'tag': 'plantuml', - 'argv': lambda src, dest: ['plantuml', '-tsvg', '-o', '.', src], + 'argv': lambda src, dest: [ + 'plantuml', '-tsvg', '-o', '.', src, + ], 'ext': '.uml', 'prefix': b'@startuml\n', 'suffix': b'\n@enduml\n', }, 'dot': { 'tag': 'dot', - 'argv': lambda src, dest: ['dot', '-Tsvg', '-o', dest, src], + 'argv': lambda src, dest: [ + 'dot', '-Tsvg', '-o', dest, src, '-Nfontname=Bitstream Charter', + '-Nfontsize=10', + ], 'ext': '.dot', 'prefix': b'digraph foo {\n', 'suffix': b'}\n', -- cgit v1.2.1