🔄 synced local '_extensions/rostools/r3-theme/' with remote '_extensi…

…ons/r3-theme/'
rostools · May 13, 2024 · 202aa17 · 202aa17
1 parent 4a545ca
commit 202aa17
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/_extensions/rostools/r3-theme/_extension.yml b/_extensions/rostools/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

diff --git a/_extensions/rostools/r3-theme/custom-site.scss b/_extensions/rostools/r3-theme/custom-site.scss
@@ -25,3 +25,7 @@ svg {
   width: 100%;
   height: 425px;
 }
+
+kbd {
+  padding: .15rem .15rem;
+}