Table of contents needs formatting
The table of contents is loaded from templates/toc.html
, which formats the toc tree based on bootstrap collapse. This obviously doesn't work anymore and we need something similar based on webcomponents. Also the links need to be actually usable.