ryyppy
commented
4 years ago In the latest design, the selected module is more obviously distinguished from the rest of the navigation. Originally I wanted to hold off adapting it for now since I wanted to rework the navigation hierarchy when we display a more general API overview (which contains Belt as a subnavigation point). But maybe it makes sense to implement it already, just to get a quick benefit?
The currently open Module looks exactly like the other menu entries. I noticed this confused beginners who aren't that familiar with Belt. I believe it would help if both would look a bit different or there would be some kind of visual horizontal rule.
Rust uses this: