Put the 'font override' option back in. Although the new default font settings (from trunk) are better than before I still prefer to be able to change the size.