Replace highlighting stylesheet with a nicer one