Revert the rustdoc box syntax removal#89134

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

est31:revert_rustdoc_box_syntaxest31/rust:revert_rustdoc_box_syntaxCopy head branch name to clipboard