Consider this movie – we demonstrate a number of the typography modifications you can also make working with our customizer. https://hedgedoc.digillab.uni-augsburg.de/s/3f5vpZrxU