reduce more of the jarring scroll of theorems panel when redrawing.