Any thoughts on this? I would love to have this:
instead of the current:
Seems more than reasonable to me.
Can you open an issue on rust-lang/rust for this?
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.
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.