overflow: visible in solutionarea

... so the TeX buttons are visible.

Auditors: eater