diff --git a/docs/.gitignore b/docs/.gitignore
index 932a47563..5192fc642 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,3 +1,3 @@
 /site/reference
-/site/static/Roboto-Regular.ttf
-/site/static/FiraCode-VF.ttf
\ No newline at end of file
+/site/static
+!/site/static/extra.css
diff --git a/docs/site/static/asciinema-player/asciinema-player.css b/docs/site/static/asciinema-player/asciinema-player.css
deleted file mode 120000
index a6b35bcd3..000000000
--- a/docs/site/static/asciinema-player/asciinema-player.css
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/8y5h98wk5p94mv1wyb2c4gkrr7bswd19-asciinema-player.css
\ No newline at end of file
diff --git a/docs/site/static/asciinema-player/asciinema-player.min.js b/docs/site/static/asciinema-player/asciinema-player.min.js
deleted file mode 120000
index c18cd78ff..000000000
--- a/docs/site/static/asciinema-player/asciinema-player.min.js
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/w0i3f9qzn9n6jmfnfgiw5wnab2f9ssdw-asciinema-player.min.js
\ No newline at end of file