Function render_index_html 

pub fn render_index_html(file: &DocFile) -> String

Render the per-file index page (<file>/index.html).