More algolia improvements (robusta-dev#1096)

* Increase the font for algolia results * Trim ¶ sign from search results * Increase search CSS size
pavangudiwada · Nov 6, 2023 · 4228417 · 4228417
1 parent 69b89b7
commit 4228417
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 8 deletions.
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
@@ -283,4 +283,16 @@ h2, h3 {
 
 .sd-tab-set>label {
     font-size: 16px;
+}
+
+.DocSearch-Hit-source {
+    font-size: 1.25em !important;
+}
+
+.DocSearch-Hit-title {
+    font-size: 1.10em !important;
+}
+
+.DocSearch-Hit-path {
+    font-size: 1em !important;
 }
diff --git a/docs/crawler.js b/docs/crawler.js
@@ -14,11 +14,10 @@ new Crawler({
       indexName: "robusta",
       pathsToMatch: ["https://docs.robusta.dev/master/**"],
       recordExtractor: ({ helpers, url }) => {
-        return helpers.docsearch(
-          url.pathname.includes("/triggers/")
-            ? {
-                recordProps: url.pathname.includes("/triggers/")
-                ? {
+        return helpers
+          .docsearch({
+            recordProps: url.pathname.includes("/triggers/")
+              ? {
                   lvl0: {
                     selectors: [],
                     defaultValue: "Triggers",
@@ -27,7 +26,9 @@ new Crawler({
                   lvl2: ["details summary"],
                   content: ["details *:not(summary)"],
                   pageRank: 9,
-                } : url.pathname.includes("/actions/") ? {
+                }
+              : url.pathname.includes("/actions/")
+              ? {
                   lvl0: {
                     selectors: [],
                     defaultValue: "Actions",
@@ -36,7 +37,9 @@ new Crawler({
                   lvl2: [".admonition .admonition-title"],
                   content: [".admonition *:not(.admonition-title)"],
                   pageRank: 8,
-                } : url.pathname.includes("/sinks/") ? {
+                }
+              : url.pathname.includes("/sinks/")
+              ? {
                   lvl0: {
                     selectors: [],
                     defaultValue: "Sinks",
@@ -48,7 +51,8 @@ new Crawler({
                   lvl5: ["article h5", "h5"],
                   content: ["article p, article li, article code"],
                   pageRank: 7,
-                } : {
+                }
+              : {
                   lvl0: {
                     selectors: ["article h1", "head > title"],
                     defaultValue: "Documentation",