Easily change font size in terminals with ctrl-{+,-}
Merge branch 'master' of github.com:norrs/dotfiles