HTML formatting utility.