b8889cf Fix indentation in the HTML

Authored and Committed by pingou 7 years ago
    Fix indentation in the HTML