Closed pdeiml closed 6 years ago
From a brief look at the diff, this all looks great. Merging now.
@pdeiml - In the future, if you do substantial changes to the docs, please put up a HTML version when you make the PR to make review / discussion easier. (In this case, I would have liked to see and review the changes to the page organisation and navbar, but I just don't have time to do it locally today and want this in).
This PR handles three things on the webpage:
Ready to merge