rustdoc: Merge source code pages HTML elements together#100429

bors merged 3 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:merge-html-elements-togetherGuillaumeGomez/rust:merge-html-elements-togetherCopy head branch name to clipboard