fix: hide toc when a single heading

numtide · Jan 4, 2024 · a78c2c9 · a78c2c9
1 parent 6ba3f7a
commit a78c2c9
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 2 deletions.
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -1,2 +1,3 @@
-theme
+theme/*
+!theme/pagetoc-tweaks.css
 book
diff --git a/docs/book.toml b/docs/book.toml
@@ -6,9 +6,10 @@ src = "src"
 title = "devshell"
 
 [preprocessor.pagetoc]
+
 [output.html]
 # Show github links in top bar
 git-repository-url = "https://github.com/numtide/devshell"
 edit-url-template = "https://github.com/numtide/devshell/edit/main/docs/{path}"
-additional-css = ["theme/pagetoc.css"]
+additional-css = ["theme/pagetoc.css", "theme/pagetoc-tweaks.css"]
 additional-js = ["theme/pagetoc.js"]
diff --git a/docs/default.nix b/docs/default.nix
@@ -15,6 +15,7 @@ stdenv.mkDerivation {
       fileset = fs.unions [
         (fs.fileFilter (file: file.hasExt "md") ./.)
         ./book.toml
+        ./theme/pagetoc-tweaks.css
       ];
     };
 

diff --git a/docs/theme/pagetoc-tweaks.css b/docs/theme/pagetoc-tweaks.css
@@ -0,0 +1,5 @@
+/* Adapted from https://github.com/slowsage/mdbook-pagetoc */
+
+a[class^="pagetoc-H"]:only-child {
+    display: none;
+}