reduce jarring scroll of theorems panel when redrawing.