mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-31 21:47:15 +03:00
84f5ccd917
rustdoc: remove unused CSS for `hidden-by-*-hider`
This CSS seems to have become obsolete with the move to `<details>` tags,
and its corresponding JavaScript was removed in aee054d05d