Add margin after lists on Clippy's lint list

rust-lang · Dec 3, 2021 · b5b4017 · b5b4017
1 parent 11ad5a2
commit b5b4017
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
@@ -24,6 +24,7 @@
     <style>
         blockquote { font-size: 1em; }
         [ng\:cloak], [ng-cloak], [data-ng-cloak], [x-ng-cloak], .ng-cloak, .x-ng-cloak { display: none !important; }
+        ul { margin-bottom: 10px !important; }
 
         .form-inline .checkbox { margin-right: 0.6em }
 
@@ -336,7 +337,7 @@ <h2 class="panel-title">
                     </h2>
                 </header>
 
-                <ul class="list-group lint-docs" ng-class="{collapse: true, in: open[lint.id]}">
+                <div class="list-group lint-docs" ng-class="{collapse: true, in: open[lint.id]}">
                     <div class="list-group-item lint-doc-md" ng-bind-html="lint.docs | markdown"></div>
                     <div class="lint-additional-info-container">
                         <!-- Applicability -->
@@ -359,7 +360,7 @@ <h2 class="panel-title">
                             <a href="https://github.com/rust-lang/rust-clippy/blob/{{docVersion}}/clippy_lints/{{lint.id_span.path}}#L{{lint.id_span.line}}">View Source</a>
                         </div>
                     </div>
-                </ul>
+                </div>
             </article>
         </div>
     </div>