Merge pull request #3909 from werf/site-improve-search

site: Tune google search, highlight documentation version, remove guide's banner
werf · Nov 16, 2021 · 65536bb · 65536bb
2 parents 76b87d1 + 7ad0750
commit 65536bb
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 3 deletions.
diff --git a/docs/site/_includes/group-menu.html b/docs/site/_includes/group-menu.html
@@ -18,4 +18,4 @@
         </ul>
     </div>
 </li>
-{% endraw %}
+{% endraw %}
diff --git a/docs/site/js/customscripts.js b/docs/site/js/customscripts.js
@@ -140,6 +140,16 @@ $(document).ready(function () {
       $('.topsearch').removeClass('topsearch_active');
     }
   });
+
+  let CurrentGroup = getDocGroupFromURL();
+  $('input[name="sitesearch"]').attr("value",function(index,currentvalue){
+    if (CurrentGroup) {
+        return currentvalue + "/documentation/" + CurrentGroup + "/"
+    } else {
+        return currentvalue
+    }
+  })
+
 });
 
 $(document).ready(function() {
@@ -455,6 +465,14 @@ $(document).ready(function () {
   }
 });
 
+function getDocGroupFromURL() {
+  let result = window.location.pathname.match(/^\/documentation\/(v\d+\.\d+)/);
+  if ( result && result[1] ) {
+    return result[1];
+  }
+  return null;
+}
+
 function getDocVersionFromURL() {
   let result = window.location.pathname.match(/\/documentation\/(v\d+\.\d+([^/]+)?)\/.*/);
   if ( result ) {

diff --git a/docs/site/pages_en/guides.md b/docs/site/pages_en/guides.md
@@ -2,7 +2,6 @@
 title: Guides
 permalink: /guides.html
 layout: plain
-banner: guides
 breadcrumbs: none
 ---
 

diff --git a/docs/site/pages_ru/guides.md b/docs/site/pages_ru/guides.md
@@ -2,7 +2,6 @@
 title: Руководства
 permalink: /guides.html
 layout: plain
-banner: guides
 breadcrumbs: none
 ---