Merge branch 'main' of https://github.com/rostools/r3-theme

rostools · Aug 7, 2024 · 96d9c7d · 96d9c7d
2 parents b01567c + af835d1
commit 96d9c7d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/_extensions/r3-theme/_extension.yml b/_extensions/r3-theme/_extension.yml
@@ -35,9 +35,7 @@ contributes:
       favicon: "favicon.ico"
       repo-branch: main
       repo-actions: [edit, issue, source]
-      search:
-        location: navbar
-        type: overlay
+      search: true
 
     execute:
       warning: false