redirection library syntaxhighlighter