Documentation TOC is only visible at the top of the page

[davestewart]

You could solve that using this rather ace plugin:

• http://gregfranko.com/jquery.tocify.js/

It also contracts / scrolls when running on small screens or too many menu options have been opened :)