HTML文档可以用任何一种文本编辑器来编写。