Remove unused empty CSS rules in ayu theme#106174

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:rm-unused-ayu-css-rules

Dec 27, 2022

-4

Commits on Dec 27, 2022

Remove unused empty CSS rules in ayu theme
GuillaumeGomez
committed