diff --git a/docs/assets/hide_turing_menu.css b/docs/assets/hide_turing_menu.css
new file mode 100644
index 000000000..2f1e3e78a
--- /dev/null
+++ b/docs/assets/hide_turing_menu.css
@@ -0,0 +1,6 @@
+.ext-navigation,
+.ext-navigation+script,
+.ext-navigation~script,
+.ext-navigation~style {
+    display: none !important;
+}
\ No newline at end of file
diff --git a/docs/make.jl b/docs/make.jl
index e18f3edd8..e924dbcae 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -75,7 +75,8 @@ MultiDocumenter.make(
         index_versions=["stable"], engine=MultiDocumenter.FlexSearch
     ),
     brand_image=MultiDocumenter.BrandImage(".", joinpath("assets", "logo.png")),
-    custom_scripts=Any[joinpath("assets", "hide_turing_menu.js")]
+    custom_stylesheets=[joinpath("assets", "hide_turing_menu.css")],
+    custom_scripts=Any[joinpath("assets", "hide_turing_menu.js")],
 )
 
 # download logo
@@ -86,10 +87,9 @@ Downloads.download(
     joinpath(assets_dir, "logo.png");
     verbose=true,
 )
-cp(
-    joinpath(@__DIR__, "assets", "hide_turing_menu.js"),
-    joinpath(assets_dir, "hide_turing_menu.js"),
-)
+for fn in ["hide_turing_menu.js", "hide_turing_menu.css"]
+    cp(joinpath(@__DIR__, "assets", fn), joinpath(assets_dir, fn))
+end
 
 # deploy to GitHub Pages
 git_root = normpath(joinpath(@__DIR__, ".."))