sidebar: use the same resize grip as rustdoc and playground#2691
Merged
ehuss merged 1 commit intorust-lang:masterfrom May 10, 2025
Merged
sidebar: use the same resize grip as rustdoc and playground#2691ehuss merged 1 commit intorust-lang:masterfrom
ehuss merged 1 commit intorust-lang:masterfrom