Use 12pt font on other systems than OS X
Reduce default font size on OS X
Update ProofGeneral