Am Samstag, 18. August 2018 08:38:25 CEST schrieb Jürgen Spitzmüller
:
> Am Freitag, den 17.08.2018, 21:20 +0200 schrieb Kornel Benko:
> > ...
> > This looks all OK, but when looking int the outed latex-preamble:
> > ...
> > \documentclass[english]{article}
> > \usepackage{DejaVuSerif}
> >
Am Freitag, den 17.08.2018, 21:20 +0200 schrieb Kornel Benko:
> ...
> This looks all OK, but when looking int the outed latex-preamble:
> ...
> \documentclass[english]{article}
> \usepackage{DejaVuSerif}
> \usepackage[extralight,scale=0.8]{plex-sans}
> \usepackage[semibold,scale=0.7]{plex-mono}
>