added global ToC in the sidebar