Add intersphinx_mapping in docs.
Tiny changed in toc.