Examples and anchors on website

2021-11-18 09:22:33 -05:00
parent ba2f6e08cd
commit 6d7fec5337
8 changed files with 159 additions and 20 deletions
--- a/server/static/js/app.js
+++ b/server/static/js/app.js
@@ -338,6 +338,7 @@ if (match) {
    }
 }

+// Add anchor links
 document.querySelectorAll('.anchor').forEach((el) => {
    if (el.hasAttribute('id')) {
        const id = el.getAttribute('id');