https://developer.mozilla.org/en-US/docs/Web/API/CSS_Custom_Highlight_API

https://developer.mozilla.org/en-US/docs/Web/API/CSS_Custom_Highlight_API