Update html.php

tidied style