Added (?) references for lint levels and groups

rust-lang · May 26, 2021 · 2035426 · 2035426
1 parent b1ba4a4
commit 2035426
Showing 1 changed file with 30 additions and 11 deletions.
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
@@ -38,26 +38,40 @@
         .panel .panel-title-name .anchor { display: none; }
         .panel:hover .panel-title-name .anchor { display: inline;}
 
+        .label {
+            padding-top: 0.3em;
+            padding-bottom: 0.3em;
+        }
+
         .label-lint-group {
             min-width: 8em;
         }
         .label-lint-level {
             min-width: 4em;
         }
 
-        .lint-level-allow {
+        .label-lint-level-allow {
             background-color: #5cb85c;
         }
-        .lint-level-warn {
+        .label-lint-level-warn {
             background-color: #f0ad4e;
         }
-        .lint-level-deny {
+        .label-lint-level-deny {
             background-color: #d9534f;
         }
-        .lint-level-none {
+        .label-lint-level-none {
             background-color: #777777;
         }
 
+        .label-doc-folding {
+            color: #000;
+            background-color: #fff;
+            border: 1px solid var(--theme-popup-border);
+        }
+        .label-doc-folding:hover {
+            background-color: #e6e6e6;
+        }
+
         .lint-doc-md > h3 {
             border-top: 1px solid var(--theme-popup-border);
             padding: 10px 15px;
@@ -249,7 +263,10 @@ <h1>Clippy's lint list</h1>
                 <div class="panel-body row filter-panel">
                     <div class="col-md-6 form-inline">
                         <div class="form-group form-group-lg">
-                            <p class="h4">Lint levels</p>
+                            <p class="h4">
+                                Lint levels
+                                <a href="https://doc.rust-lang.org/rustc/lints/levels.html">(?)</a>
+                            </p>
                             <div class="checkbox" ng-repeat="(level, enabled) in levels">
                                 <label class="text-capitalize">
                                     <input type="checkbox" ng-model="levels[level]" />
@@ -260,7 +277,10 @@ <h1>Clippy's lint list</h1>
                     </div>
                     <div class="col-md-6 form-inline">
                         <div class="form-group form-group-lg">
-                            <p class="h4">Lint groups</p>
+                            <p class="h4">
+                                Lint groups
+                                <a href="https://github.com/rust-lang/rust-clippy/#clippy">(?)</a>
+                            </p>
                             <div class="checkbox" ng-repeat="(group, enabled) in groups">
                                 <label class="text-capitalize">
                                     <input type="checkbox" ng-model="groups[group]" />
@@ -296,12 +316,11 @@ <h2 class="panel-title">
                         <div class="panel-title-addons">
                             <span class="label label-lint-group label-default">{{lint.group}}</span>
 
-                            <span class="label label-lint-level lint-level-{{lint.level}}">{{lint.level}}</span>
+                            <span class="label label-lint-level label-lint-level-{{lint.level}}">{{lint.level}}</span>
 
-                            <button class="btn btn-default btn-xs">
-                                <span ng-show="open[lint.id]">&minus;</span>
-                                <span ng-hide="open[lint.id]">&plus;</span>
-                            </button>
+
+                            <span class="label label-doc-folding" ng-show="open[lint.id]">&minus;</span>
+                            <span class="label label-doc-folding" ng-hide="open[lint.id]">&plus;</span>
                         </div>
                     </h2>
                 </header>