double dash to single dash in html