On Thursday, 22 January 2015 at 19:15:33 UTC, Vladimir Panteleev wrote: > I should do something about that overflow, though - didn't > notice it on my system as my fonts are narrower. Fixed.