I don't know whether this will be useful to other but as I get older I need slightly larger fonts in the IDE...

I don't know whether this will be useful to other but as I get older I need slightly larger fonts in the IDE...

IDE Fonts
http://www.davidghoyle.co.uk/WordPress/?page_id=1960
http://www.davidghoyle.co.uk/WordPress/?page_id=1960