我们在电脑里会遇到各式各样的格式文件，有些文件还需要手动进行编辑，其中html就是一个比较常见的未知文件，那么html是什么格式的文件呢。