log docclass.Nook.tex @ 1092:0539e3ec5b5f build-default-407

age author description
Thu, 12 Oct 2017 14:48:26 +0100 Jim Hague Reduce base font size on Nook to 10pt.