Specification: html file