Reformat introduction.tex to match rest of document