Fix #23: Highlight the navbar entry
Many files in the docs directory did not highlight the navbar entry. ("Documentation" in this case.) Fix that.
I don't see "Documentation" being too wide anymore. Maybe I'm on a different machine?
Many files in the docs directory did not highlight the navbar entry. ("Documentation" in this case.) Fix that.
I don't see "Documentation" being too wide anymore. Maybe I'm on a different machine?