Auto merge of #8070 - CrazyRoka:update-gh-pages-checkbox-styles, r=camsteffen

Improve styles of filtering options for Clippy's lint list

Partially solves #7958

Updated styles for filtering options. It now uses dropdown menus.

![image](https://user-images.githubusercontent.com/19844144/144608479-cdd9de0b-f101-4d49-a135-0969efb01a11.png)

changelog: none

diff --cc util/gh-pages/index.html
index 83a200ca3c4f4d112999c1bf3ddfd9d40ebd6299,dcc0978fe1092f153ff0ff7fd69818bf361b2d86..97c974003c62fe7ebf6881db8494db8f092314d7
--- 1/util/gh-pages/index.html
--- 2/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@@ -365,10 -455,10 +455,10 @@@ Otherwise, have a great day =^.^
      </div>
  
      <a href="https://github.com/rust-lang/rust-clippy">
-         <img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png" alt="Fork me on Github"/>
+         <img style="position: absolute; top: 0; right: 0; border: 0; clip-path: polygon(0% 0%, 100% 0%, 100% 100%);" src="https://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png" alt="Fork me on Github"/>
      </a>
  
 -    <script src="https://cdnjs.cloudflare.com/ajax/libs/markdown-it/7.0.0/markdown-it.min.js"></script>
 +    <script src="https://cdnjs.cloudflare.com/ajax/libs/markdown-it/12.3.2/markdown-it.min.js"></script>
      <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.5.0/highlight.min.js"></script>
      <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.5.0/languages/rust.min.js"></script>
      <script src="https://cdnjs.cloudflare.com/ajax/libs/angular.js/1.4.12/angular.min.js"></script>