From 576be4317c780b48f44b83bf45fa79d139eed026 Mon Sep 17 00:00:00 2001
From: Heiko Carrasco <4395770+miterion@users.noreply.github.com>
Date: Sun, 17 Mar 2024 14:28:18 -0400
Subject: [PATCH] Remove override.css as done in
 https://github.com/NixOS/nixpkgs/pull/295847

---
 doc/manual/default.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/doc/manual/default.nix b/doc/manual/default.nix
index 5a0072a9..abe126b7 100644
--- a/doc/manual/default.nix
+++ b/doc/manual/default.nix
@@ -71,7 +71,6 @@ in rec {
       mkdir -p $dst
 
       cp $styles/style.css $dst
-      cp $styles/overrides.css $dst
       cp -r ${pkgs.documentation-highlighter} $dst/highlightjs
 
       substitute ${./manual.md} manual.md \
@@ -86,7 +85,6 @@ in rec {
         --revision ${lib.escapeShellArg revision} \
         --generator "nixos-render-docs ${lib.version}" \
         --stylesheet style.css \
-        --stylesheet overrides.css \
         --stylesheet highlightjs/mono-blue.css \
         --script ./highlightjs/highlight.pack.js \
         --script ./highlightjs/loader.js \