Add search bar to table of contents

This commit is contained in:
2021-12-22 21:16:09 +00:00
parent a5341e770c
commit 117f1ee6ee
5 changed files with 108 additions and 1 deletions

View File

@@ -29,6 +29,7 @@
</p>
</div>
<h3>Table of Contents</h3>
<input id="search" placeholder="Search table of contents" />
<div id="toc">$toc$</div>
</div>
<div id="content">
@@ -47,4 +48,6 @@
$body$
</div>
</div>
<script src="/fuse.js"> </script>
<script src="/toc_search.js"> </script>
</body>