For writing HTML in Python