Remove font-size setting so Linux gets default: 10.

Mac will probably be too small now, but better than Ubuntu being
too large I guess.
Add console.info() and console.log(arguments) snippets.

Add semicolon to the end of all console.* snippets.