mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add margin after lists on Clippy's lint list

Browse Source
This commit is contained in:
xFrednet 2021-12-03 19:53:15 +01:00
parent 11ad5a26a9
commit 17b747857f
No known key found for this signature in database
GPG Key ID: FCDCBF29AF64D601
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
util/gh-pages/index.html
View File

@ -336,7 +336,7 @@ Otherwise, have a great day =^.^=
</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 +359,7 @@ Otherwise, have a great day =^.^=
<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>