added html5 highlighting