Sidebar/Toctree harmony restored and jQuery back to 1.7.2

Fixes for sidebar/toctree - note that this changes jquery to version 1.7.2.