mirror of
https://github.com/rust-lang/rust.git
synced 2026-01-22 12:10:35 +00:00
rustdoc: rename CSS rustdoc-toggle -> toggle and toggle -> settings-toggle This swaps things around so that the class that gets used more often has the shorter name.