@Dave H: The document is in 80 pt font.