Improved search highlighting

pull/212/head
M66B 3 years ago
parent f5cdad5ec3
commit c45e2f8709

@ -2964,8 +2964,9 @@ public class HtmlHelper {
Element span = document.createElement("span");
span.attr("style", mergeStyles(
span.attr("style"),
"font-size:larger; background-color:" + encodeWebColor(color)
));
"font-size:larger !important;" +
"font-weight:bold !important;" +
"background-color:" + encodeWebColor(color) + " !important"));
span.text(tnode.getWholeText().length() == text.length()
? tnode.getWholeText().substring(start, end)
: text.substring(start, end));

Loading…
Cancel
Save