Being able to move the text palate in WF Proof Viewer

It's not currently possible to move the tool palate. This can be extremely annoying when needing to refer to text below the palate. Ideally, we should be able to move it out of the way.