Changed links to highlightjs.org to use https://