Skip Navigation Bar

HTML and CSS

Redirecting /web/documentation/coding.html to /htdocs/web/documentation/index.html#html.