updated highlightjs css