tyler71 e037b7c70f mobile toc menu (#121) ... * Implement TOC for mobile * Uses Page title as label * Label entries so that tapping TOC will hide menu * Switch to medium breakpoint * Correct tos -> toc * toc-menu-control -> toc-control		2020-01-13 17:44:24 +01:00
..
baseof.html	mobile toc menu (#121)	2020-01-13 17:44:24 +01:00