HTML string shortener