Terminal font to 11; use nano for Git commit messages.