Update syntaxhighlighter.html