improved styling for pdf export
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Jan 2021 00:20:49 +0000 (01:20 +0100)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Jan 2021 00:20:49 +0000 (01:20 +0100)
commite85a35fbfd636e2c1e1fd805791018809749c69e
tree2a40e2cdc9f0580e7747120576c019a1b4f6434d
parent8e37d516cd7ff671268696a3d64a25ea72fb6f68
improved styling for pdf export
courses/export_pdf.sh