Fixed some highlightjs visual bugs