Specify web_root for doc navigation links
Regenerated doc