HTML: add indentation examples