update html.xml for better doe indenting hilighting