format output of various search libraries to have consistent appearance

Jieiku · Aug 6, 2024 · 9806e4a · 9806e4a
1 parent f72e5fb
commit 9806e4a
Show file tree

Hide file tree

Showing 10 changed files with 264 additions and 254 deletions.
diff --git a/static/js/abridge.min.js b/static/js/abridge.min.js
diff --git a/static/js/abridge_nopwa.min.js b/static/js/abridge_nopwa.min.js
diff --git a/static/js/search.js b/static/js/search.js
@@ -337,7 +337,7 @@ window.onload = function() {
 
             // add <em/> around search terms
             if (word[1] === TERM_WEIGHT) {
-              teaser.push("<b>");
+              teaser.push("<mark>");
             }
 
             startIndex = word[2] + word[0].length;
@@ -354,7 +354,7 @@ window.onload = function() {
             }
 
             if (word[1] === TERM_WEIGHT) {
-              teaser.push("</b>");
+              teaser.push("</mark>");
             }
           }
           teaser.push("…");

diff --git a/static/js/search_elasticlunr.min.js b/static/js/search_elasticlunr.min.js
diff --git a/static/js/search_tinysearch.min.js b/static/js/search_tinysearch.min.js
diff --git a/static/js/searchjava.js b/static/js/searchjava.js
@@ -325,7 +325,7 @@ window.onload = function() {
 
             // add <em/> around search terms
             if (word[1] === TERM_WEIGHT) {
-              teaser.push("<b>");
+              teaser.push("<mark>");
             }
 
             startIndex = word[2] + word[0].length;
@@ -342,7 +342,7 @@ window.onload = function() {
             }
 
             if (word[1] === TERM_WEIGHT) {
-              teaser.push("</b>");
+              teaser.push("</mark>");
             }
           }
           teaser.push("…");

diff --git a/static/js/searchjavaugly.js b/static/js/searchjavaugly.js
@@ -325,7 +325,7 @@ window.onload = function() {
 
             // add <em/> around search terms
             if (word[1] === TERM_WEIGHT) {
-              teaser.push("<b>");
+              teaser.push("<mark>");
             }
 
             startIndex = word[2] + word[0].length;
@@ -342,7 +342,7 @@ window.onload = function() {
             }
 
             if (word[1] === TERM_WEIGHT) {
-              teaser.push("</b>");
+              teaser.push("</mark>");
             }
           }
           teaser.push("…");