This widget makes the table of contents show up by negating the CSS in Common.css that hides it.
<style> .toc, #toc { display: inline-block !important; } </style>
