Provide mobile toc #2
Description
Currently the toc disappears when using a phone, it would be nice if it was available as a popup.
{{ message }}
Currently the toc disappears when using a phone, it would be nice if it was available as a popup.