rnhmjoj af7c00e4e1 slides: properly set up beamer ... - Install bold fonts - Normal font weight in titles - Workaround a metropolis bug		2020-07-05 11:37:03 +02:00
..
images	images: add the highlighter image	2020-07-05 11:36:59 +02:00
misc	todo: update	2020-07-05 11:37:02 +02:00
sections	slides: properly set up beamer	2020-07-05 11:37:03 +02:00
makefile	makefile: add pandoc-citeproc	2020-07-05 11:36:59 +02:00