[wildgift]

I think the line spacing and line length matter more than the font size. With these high-resolution displays, the fonts can be pretty small, and they're still readable, but you then need to make the column narrower and add a couple pixels to the line height.