Minor style changes, plus some copy edits. Add favicon.