Static files used by make html
