Merge pull request #297609 from NixOS/backport-295847-to-release-23.11

[Backport release-23.11] doc: fix and simplify stylesheets for the manuals, fix nrd bug
NixOS · Mar 21, 2024 · 4b90fcd · 4b90fcd
2 parents f091af0 + 0b43d67
commit 4b90fcd
Show file tree

Hide file tree

Showing 8 changed files with 349 additions and 230 deletions.
diff --git a/doc/anchor-use.js b/doc/anchor-use.js
diff --git a/doc/anchor.min.js b/doc/anchor.min.js
diff --git a/doc/default.nix b/doc/default.nix
@@ -121,16 +121,17 @@ in pkgs.stdenv.mkDerivation {
  ${pkgs.documentation-highlighter}/mono-blue.css \
  ${pkgs.documentation-highlighter}/loader.js
 
- cp -t out ./overrides.css ./style.css
+ cp -t out ./style.css ./anchor.min.js ./anchor-use.js
 
  nixos-render-docs manual html \
  --manpage-urls ./manpage-urls.json \
  --revision ${pkgs.lib.trivial.revisionWithDefault (pkgs.rev or "master")} \
  --stylesheet style.css \
- --stylesheet overrides.css \
  --stylesheet highlightjs/mono-blue.css \
  --script ./highlightjs/highlight.pack.js \
  --script ./highlightjs/loader.js \
+ --script ./anchor.min.js \
+ --script ./anchor-use.js \
  --toc-depth 1 \
  --section-toc-depth 1 \
  manual.md \

diff --git a/doc/overrides.css b/doc/overrides.css