HTML files to help set Firefox font type and size.