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/searchjava.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/searchjava.js')
| -rw-r--r-- | static/js/searchjava.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/static/js/searchjava.js b/static/js/searchjava.js index dcff9f1..46157b2 100644 --- 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("…"); |