Moved website stuff to other repo

rasmus-kirk · Jan 20, 2025 · b4eb2cd · b4eb2cd
1 parent e14d930
commit b4eb2cd
Show file tree

Hide file tree

Showing 15 changed files with 94 additions and 1,123 deletions.
diff --git a/docs/mkDocs.nix b/docs/mkDocs.nix
diff --git a/docs/pandoc/gruvbox.theme b/docs/pandoc/gruvbox.theme
diff --git a/docs/pandoc/link.svg b/docs/pandoc/link.svg
diff --git a/docs/pandoc/lua/anchor-links.lua b/docs/pandoc/lua/anchor-links.lua
diff --git a/docs/pandoc/lua/code-default-to-nix.lua b/docs/pandoc/lua/code-default-to-nix.lua
diff --git a/docs/pandoc/lua/headers-lvl2-to-lvl3.lua b/docs/pandoc/lua/headers-lvl2-to-lvl3.lua