Correcting typos, and changing CSS so that code snippets are in Solarized