Add toc to blueintro theme