Hi Jon,
Looks good!
Hannes
> Am 18.07.2019 um 23:45 schrieb Jonathan Gibbons :
>
> Please review a simple fix and a corresponding test for a regression in the
> way that a series of -link or -linkoffline options are processed. When
> a package appears in multiple APIs, either as different ver
Nir,
The only way to change the font is through the stylesheet(s).
If you don't want to edit the default stylesheet, you can specify
additional stylesheets to be used on the command line. You can also
replace the default stylesheet from the command line. Look for the
--main-stylesheet and --a