DOC: Format role and directive cross-references in ReST format#12986

timhoffm wants to merge 1 commit intosphinx-doc:mastersphinx-doc/sphinx:masterfrom

timhoffm:doc-example-highlighttimhoffm/sphinx:doc-example-highlightCopy head branch name to clipboard