Fix ToC resizing

The `#toc` id was renamed to `#toc-aside`.
This commit is contained in:
Philipp Oppermann
2019-03-20 23:37:56 +01:00
parent 5cd435b755
commit 6a07fea2d7

View File

@@ -1,5 +1,5 @@
window.onload = function() {
var container = document.querySelector('#toc');
var container = document.querySelector('#toc-aside');
if (container != null) {
resize_toc(container);