highlightjs stuff is also hosted on https