Don't HTML- and JS-highlight inline JS