Improve display for "copy-path" button, making it more discreet#85407

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:copy-path-display-improvement

May 18, 2021

Commits on May 18, 2021

Improve display for "copy-path" button, making it more discrete
GuillaumeGomez
committed