Lemmas, Theorems, Proofs, ... are colored
Nice algorithm pseudocode
Fixed most warnings