modify html code highlight