Large math formula overflows

Useful for derivation trees.

Test: https://exams.vis.ethz.ch/exams/dhm62tei.pdf exercise 6

Possible fix: add overflow-y: scroll to div.

After fix:

Edited Aug 07, 2019 by Max Mathys