dark mode for "ALL the Clippy Lints" page

[matthiaskrgr]

It might be neat to have a dark mode for https://rust-lang.github.io/rust-clippy/master/index.html which is a bit lighter on the eyes during nightly clippy delinting sessions.

[matthiaskrgr]

cc @xFrednet

[xFrednet]

I plan to change some things on the website in the coming month. I'll include this as well 🙃

@rustbot claim

[phansch]

Slight off-topic: It might also be worth considering using mdBook for the lint list as mdBook already comes with a dark mode.
Although the search functionality of mdBook does not provide results as quickly as our website - In mdBook you'd first have to click on the page in the results.

[xFrednet]

I thought about copying the mdbook or docs style to have it more unified among Rust projects. Completely using that project is a new Idea to think of. This might be worth a try :)