Fix Sphinx shell resizing
Resize docked shell if window resizes
Have SymPy Live Clear button reset server session as well
Fix issue where Sphinx shell always opened
Merge pull request #3 from lidavidm/fix_sidebar

Fix Sphinx shell resizing