Edit proof of mixingale result
Change monospaced font to Adobe Source Code Pro
Fix typo in convergence lemma
Edit proof of Theorem 1