John Benediktsson 3b9567c3e9 help.html: default font size should be 12pt, less line-height for pre.		2020-04-11 20:35:22 -05:00
..
html-tests.factor	…
html.factor	help.html: default font size should be 12pt, less line-height for pre.	2020-04-11 20:35:22 -05:00
stylesheet.css	help.html: raise line-height to 150%.	2020-04-11 20:35:18 -05:00
summary.txt	…