docs: Removed superfluous CSS file

This one is included through the sphinx-docsearch extension now.
mapeditor · Oct 16, 2024 · 724fad3 · 724fad3
1 parent 252b85f
commit 724fad3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -124,7 +124,6 @@
 
 html_css_files = [
     'css/custom.css',
-    'https://cdn.jsdelivr.net/npm/@docsearch/css@3',
 ]
 
 # Custom sidebar templates, must be a dictionary that maps document names