Need something like docs.rs's navbar. Should be straightforward to add with the [--html-before-content](https://doc.rust-lang.org/rustdoc/command-line-arguments.html#--html-before-content-include-more-html-before-the-content) argument.