updating html highlighting