Replaced local table of content by global one in HTML sidebar.
Merge pull request #17 from benoitbryon/globaltoc

Replace local table of content by global one in HTML sidebar