[setopt]

If you have a hiDPI monitor, then reading even small fonts is IMO less annoying. But no monitor can still beat the DPI of a good printer.