rustdoc: tweak highlighting
doc: use the newer favicon