On 11/19/2013 05:04 PM, Thomas Bruederli wrote:
I think we're getting closer to a conclusion. See the latest update with a slightly larger font here: http://jsfiddle.net/F984A/10/
Now when I see it live I think 12px is too much. I'll change to 11px with some small improvements.