html and better highlighting