include scrollto plugin in highlight.js