writethedocs/docs — pull request #17 by benoitbryon (2013-02-14 20:05:11+00:00)
Title: Replace local table of content by global one in HTML sidebar

What about using a global TOC in HTML sidebar?