But how do I center a proof?

Unlike Gentzen, we can make use of css and javascript

Paperproof README