We're down to the wire on the printed Metamath book, and I have a question: 10pt or 11pt for the body text size? If you have a preference (especially if you plan to get a copy), please speak up!
I just learned that the fonts, when printed, are smaller than I expected. The current book is printed in 10pt font. If you just "print to a printer" using US letter (8.5"x11"), on my system the pages are automatically scaled to be bigger and it looks great. The same thing happens on-screen: rescaling is easy and automatic. Obviously that's not true for a book, but I only realized today that auto-scaling was fooling me. For me, the 10pt size is a little hard to read, while 11pt is great. 11pt does require more pages, though I don't think it's too bad. Current estimate: 10pt: 241 pages 11pt: 289 pages Norm is concerned about the size/weight, but since I expect it to be hardcover I don't think that's as critical. Some existing discussion here: https://github.com/metamath/metamath-book/issues/143 Thanks! --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1hUN7J-0005d4-Rl%40rmmprod07.runbox.
