Thread:TheGoldenPatrik1/@comment-36575600-20181208013646/@comment-24634078-20181208023711

Import this fork of Highlight instead. It has hover styling + it doesn't override local styling for some users on some wikis (me here).