typed html file