diff Session/WhinshieldsHornpipe.abc @ 737:899803739400

Reduce base font size on Nook to 10pt. I think this is a better fit to the page size.
author Jim Hague <jim.hague@acm.org>
date Thu, 12 Oct 2017 14:48:26 +0100
parents 0e1c1ea43af4
children c2460aa9b4eb
line wrap: on
line diff