Improve the look of the HTML version
authorEsteban Manchado Velázquez <emanchado@demiurgo.org>
Sun, 24 May 2020 07:24:29 +0000 (09:24 +0200)
committerEsteban Manchado Velázquez <emanchado@demiurgo.org>
Sun, 24 May 2020 07:24:29 +0000 (09:24 +0200)
Add a CSS file and some fonts, so that the HTML version looks
reasonably similar to the PDF version: same font, decent margins,
larger text.


No differences found