docs: add clan options search page

This provides a simpler and more intuitive search over a flat list of possible options. Styling still to be improved
2025-06-24 23:06:26 +07:00
parent 3cb91769ca
commit 12682b608c
10 changed files with 421 additions and 112 deletions
--- a/docs/nix/default.nix
+++ b/docs/nix/default.nix
@@ -7,6 +7,7 @@
  asciinema-player-css,
  roboto,
  fira-code,
+  docs-options,
  ...
 }:
 let
@@ -55,5 +56,6 @@ pkgs.stdenv.mkDerivation {

  installPhase = ''
    cp -a out/ $out/
+    cp -r ${docs-options} $out/options-page
  '';
 }