dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Updated badge

This commit is contained in:
CrazyRoka 2021-12-05 20:10:56 +02:00
parent 0f655db00d
commit cb113d3a41
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -54,6 +54,10 @@ Otherwise, have a great day =^.^=
background-color: #f5f5f5;
}
.dropdown-toggle .badge {
background-color: #777;
}
.panel-heading { cursor: pointer; }
.panel-title { display: flex; flex-wrap: wrap;}
@ -302,7 +306,7 @@ Otherwise, have a great day =^.^=
<div class="col-md-12 form-horizontal">
<div class="btn-group" ng-class="{ open: selectedDropdown == 'levels' }" ng-click="toggleDropdown('levels', $event)">
<button type="button" class="btn btn-default dropdown-toggle">
<span class="badge">{{selectedValuesCount(levels)}}</span> Lint levels <span class="caret"></span>
Lint levels <span class="badge">{{selectedValuesCount(levels)}}</span> <span class="caret"></span>
</button>
<ul class="dropdown-menu">
<li class="checkbox">
@ -326,7 +330,7 @@ Otherwise, have a great day =^.^=
</div>
<div class="btn-group" ng-class="{ open: selectedDropdown == 'groups' }" ng-click="toggleDropdown('groups', $event)">
<button type="button" class="btn btn-default dropdown-toggle">
<span class="badge">{{selectedValuesCount(groups)}}</span> Lint groups <span class="caret"></span>
Lint groups <span class="badge">{{selectedValuesCount(groups)}}</span> <span class="caret"></span>
</button>
<ul class="dropdown-menu">
<li class="checkbox">