is the CSS for this in http://yandex.st/highlightjs/8.0/styles/default.min.css? (we should download that locally, as mentioned above, but yeah)