[stan_rogers]

They fixed the too-small-font problem (finally!!) at the beginning of March last year, making it a very reasonable read, and without changing the overall design much.