HTML for file editing