Add an option to be able to "gray out" everything that is common between the proofs that are being compared and only show what is different.
Currently it is hard to determine at a quick glance what has changed between versions in certain proofs. If everything that is common can be "grayed out" they user will more easily be able to focus on what has actually changed.
