edited CSS to make sure that the RHS column showing proof state scrolls correctly when the subgoal does not fit vertically