change theme color, adjust web-mode html tag highlighting