Daan Sprenkels 8dce4e8483 web: Indent <pre> with padding-left (no spaces) ...

Fixes #34

2019-12-17 23:11:43 +05:30

..

html

web: Indent <pre> with padding-left (no spaces)

2019-12-17 23:11:43 +05:30

txt

web: Indent <pre> with padding-left (no spaces)

2019-12-17 23:11:43 +05:30