dnsdist docs: make sidebar scrollable

diff --git a/pdns/dnsdistdist/website/markdown/extra.css b/pdns/dnsdistdist/website/markdown/extra.css
new file mode 100644 (file)
index 0000000..ffcefb7
--- /dev/null
+++ b/pdns/dnsdistdist/website/markdown/extra.css
@@ -0,0 +1,5 @@
+/* Allow scrolling of H1...n sidebar */
+.bs-sidebar {
+  overflow: scroll;
+  max-height: 80%;
+}

diff --git a/pdns/dnsdistdist/website/mkdocs.yml b/pdns/dnsdistdist/website/mkdocs.yml
index 2f69dc62892d085131224fc96f66b9c949c6331e..38416c73a6d5ca7b672e1fa9cf48e576430cff29 100644 (file)
--- a/pdns/dnsdistdist/website/mkdocs.yml
+++ b/pdns/dnsdistdist/website/mkdocs.yml
@@ -3,6 +3,7 @@ repo_url: https://github.com/PowerDNS/pdns
 docs_dir: markdown
 site_dir: html
 theme: bootstrap
+extra_css: [extra.css]
 pages:
   - dnsdist:
     - Homepage: index.md