change font size in xcode theme