search

HoTT / book

A textbook on informal homotopy type theory
2.02k stars 359 forks source link

Resizing Font #708

Open Jared-Prime opened 10 years ago

Jared-Prime commented 10 years ago

I would like to resize the font for my ebook reader (a Kindle Paperwhite), but I do not see my changes take effect. I would have thought this section would allow me to increase font size from 10pt to 14pt; but, after running make hott-ebook.pdf, I do not see any changes in font size. Suggestions?

Jared-Prime commented 10 years ago

Actually, as stated here:

LaTeX knows three standard font sizes:
- 10pt (default)
- 11pt
- 12pt

I will look for the appropriate package to resize to my desired font.

andrejbauer commented 10 years ago

You're going to get all sorts of nasty line (non)breaks, but if you really would like to try, setting \OPTfontsize to 12pt will do it. For 14pt we'd need to work harder, I suspect. You can probably achieve a similar effect by leaving the font as is and reducing the page size instead, see \OPTpagesize.

Jared-Prime commented 10 years ago

yeah, it didn't work out. Too many line breaks, tables and equations get cut off, etc.