I also altered the text as necessary to match HTML's limited text formatting capabilities, or generally wherever I saw fit. The original document was in LaTeX.