Closed chngr closed 6 years ago
Here is some Jinja2 magic that resolves two FIXME's in the proof template. This, combined with a small CSS change, also resolves the improper QED square placement noticed in #12 on gerby-website.
gerby-website
Here is some Jinja2 magic that resolves two FIXME's in the proof template. This, combined with a small CSS change, also resolves the improper QED square placement noticed in #12 on
gerby-website
.