Allow doc menu bar style to match theme

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?

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/ thing. I'll open an issue there.

1 Like

Isn't this a problem than just rustdoc ?

You're right, since rustdoc doesn't provide the top bar.

Whoops, I didn't read closely enough, sorry.