JavaScript needed for redirection to inner documentation page.