Compare Mode: switch position of proofs

green square showing proof 1 and orange square showing proof 2 animated image changing the position of 1 and 2