rustdoc: clean up source sidebar hide button#119066

Merged

bors merged 6 commits intorust-lang:masterfrom notriddle:notriddle/sidebar-source-redesign

Dec 31, 2023

Commits on Dec 19, 2023

Use folder icon instead of hamburger and sidebar
notriddle
committed

Commits on Dec 20, 2023

Fix corner cases when dealing with mobile mode
notriddle
committed