Update aggregation/navbar.html

Co-authored-by: Jon Koops <jonkoops@gmail.com>
This commit is contained in:
Costas Papastathis 2022-03-23 20:26:14 +02:00 committed by Bruno Oliveira da Silva
parent 71346995e5
commit c152f465e2

View file

@ -2,7 +2,7 @@
<script>
const oldtoc = document.getElementById('toctitle').nextElementSibling;
let newtoc = document.createElement('div');
const newtoc = document.createElement('div');
newtoc.setAttribute('id', 'tocbot');
newtoc.setAttribute('class', 'js-toc');
oldtoc.parentNode.replaceChild(newtoc, oldtoc);