On Tue, Jan 17, 2017 at 1:31 PM, Urs Liska <address@hidden> wrote:
Ah, try to use SVG as a temporary workaround.
Urs
SVG output works (though, since I use a dark color scheme, the output appears as black on dark, which makes it hard to read. But I can cope with that for the time being.