Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Really Small Fonts Cause Issues #10
Demonstrated here with 4pt Droid Sans Mono (a rather extreme case): http://dl.dropbox.com/u/716853/KIPR%27s%20Instructional%20Software%20System%20-%20cbc2_004.png
While the example screenshot may be a comically extreme case, these effects are still somewhat felt if you try to type with anything smaller than the font used by the line numbers.