diff options
| author | Jieiku | 2024-08-06 16:48:58 -0700 |
|---|---|---|
| committer | Jieiku | 2024-08-06 16:48:58 -0700 |
| commit | 9806e4a1b5c924a614033cc350a3315ca8aa11b1 (patch) | |
| tree | c6fb505f9ee4ff9af30f2a826d6b0d57c9cc458e /static/js/search.js | |
| parent | f72e5fbb264d698850227797f7847e25edf6a4ce (diff) | |
| download | abridge-9806e4a1b5c924a614033cc350a3315ca8aa11b1.tar.gz abridge-9806e4a1b5c924a614033cc350a3315ca8aa11b1.tar.bz2 abridge-9806e4a1b5c924a614033cc350a3315ca8aa11b1.zip | |
format output of various search libraries to have consistent appearance
Diffstat (limited to 'static/js/search.js')
| -rw-r--r-- | static/js/search.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/static/js/search.js b/static/js/search.js index caf5817..689a83f 100644 --- 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("…"); |