Rework the look of the header navigation#2898

ehuss merged 1 commit intorust-lang:masterrust-lang/mdBook:masterfrom

ehuss:on-this-pageehuss/mdBook:on-this-pageCopy head branch name to clipboard