norman Don't strip leading spaces. HTML removes them anyway, and they're nee…