Any thoughts on this? I would love to have this:
instead of the current:
16 Likes
Seems more than reasonable to me.
Can you open an issue on rust-lang/rust for this?
1 Like
I actually just cloned rust-lang/rust and wanted to have this be my first real contribution, but after I build the docs I realized the nav bar is a rust-lang/docs.rs thing. I'll open an issue there.
1 Like
Isn't this a docs.rs problem than just rustdoc ?
You're right, since rustdoc doesn't provide the top bar.
Whoops, I didn't read closely enough, sorry.
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.