web: text never draws below 11.5 px, which the sizes set for a mono face did in a proportional one

f789e846 parent c9c7d347 +68 −59
browse files