Board Thread:Support Requests - Getting Technical/@comment-4004044-20190509042850/@comment-27958705-20190509092022

yeah, it is js-driven. u can read w:c:dev:Highlight-js script to see how u can change appearance. or just use the script.