Bigger font and ido-everywhere