increase the font size from 10.5pt to 11pt

This is necessary to work around Ace's issues with bold fonts.