Font size improvements for Mac OS X.
The fonts are now roughly the same size as on GNU/Linux and MS Windows. An operating system specific font scaling is now used, with the Mac OS X fonts each being increased by 2 pixels.
Authored by: bugman 2012-06-08
Parent: [r16777]
Child: [r16779]