rustdoc: tweak highlighting

Conflicts:
	src/librustdoc/html/static/main.css
doc: use the newer favicon