Use plain JavaScript in highlightCurrentLine().