Use HTML5 for documentation