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