Rustdoc style/theme/color picker doesn't work on Firefox

[CAD97]

A picture is worth a thousand words, so is this GIF a novel? (Chrome on left, Firefox 57.0.4 (64-bit) on right)

(Windows 10 64-bit OS)

[CAD97]

(Just updated to Firefox 58.0 (64-bit), and behavior is the same)

FWIW, I love that rustdoc now offers a dark CSS theme. It's just annoying that I can't switch, because I got used to the main one. Also, I only noticed it because Firefox defaulted to showing me the dark theme, whereas when I opened it in Chrome to compare, it defaulted to the main theme. And it's kind of jarring next to my darcula-themed editor.

[retep998]

cc @GuillaumeGomez

[Centril]

Works on Chrome for me too but not on Firefox 59.0b3 (64-bit) Developer Edition on Windows 10.

[ehuss]

I believe changing this from a <button> to a <div> would fix the problem.

[GuillaumeGomez]

There is a PR in progress. I think it'll fix your issue. I'll test on firefox when I have time.

[GuillaumeGomez]

I confirm that this PR fixes the behavior on firefox.