Skip to content

Improve docs layout and build

This MR improves the documentation navigation layout, and the build.

Merge request reports