0983598 highlightjs werkt nu correct.