Changed highlightjs theme