Restore one point larger size for the editor attributes font.