CSS Refactor

2026-05-27 10:52:47 +02:00
parent 2af26ac1bc
commit e089e0b2c3
12 changed files with 367 additions and 753 deletions
@@ -6,7 +6,7 @@ document.addEventListener("DOMContentLoaded", function () {
  if (headings.length < 2) return;

  var nav = document.createElement("nav");
-  nav.className = "toc";
+  nav.className = "toc panel panel-sidebar";

  var header = document.createElement("div");
  header.className = "panel-header";