larger fonts in the editor margin [Imported Thread]

Font sizes for the line numbers in the editor (OS X) are really tiny. Even if you like them too small to read, could it be a user-definable feature?

Idea Originally Posted by: Peter Harrison 18/02/2013