Fix indentation due to DOM simplification
We removed one of the parent elements of the `<nav>`, so we must re-indent the entire file.
This commit is contained in:
We removed one of the parent elements of the `<nav>`, so we must re-indent the entire file.