Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-14 17:07:17 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fixed theme selector and repositioned search input

Browse source
This commit is contained in:
CrazyRoka 2021-12-07 00:31:58 +02:00
parent e895d2b52a
commit 76e95e28c2
1 changed files with 17 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
util/gh-pages/index.html
View file

@ -94,6 +94,16 @@ Otherwise, have a great day =^.^=
.panel .panel-title-name .anchor { display: none; }
.panel:hover .panel-title-name .anchor { display: inline;}
.search-control {
margin-top: 15px;
}
@media (min-width: 992px) {
.search-control {
margin-top: 0;
}
}
.label {
padding-top: 0.3em;
padding-bottom: 0.3em;
@ -225,6 +235,7 @@ Otherwise, have a great day =^.^=
color: var(--fg);
background: var(--theme-popup-bg);
padding: 0 0;
z-index: 10;
}
.theme-choice > li {
padding: 5px 10px;
@ -327,8 +338,8 @@ Otherwise, have a great day =^.^=
</div>
<div class="panel panel-default" ng-show="data">
<div class="panel-body row filter-panel">
<div class="col-md-12 form-horizontal">
<div class="panel-body row">
<div class="col-12 col-md-4">
<div class="btn-group" ng-class="{ open: selectedDropdown == 'levels' }"
ng-click="toggleDropdown('levels', $event)">
<button type="button" class="btn btn-default dropdown-toggle">
@ -380,9 +391,7 @@ Otherwise, have a great day =^.^=
</ul>
</div>
</div>
</div>
<div class="panel-body row">
<div class="col-md-12 form-horizontal">
<div class="col-12 col-md-8 search-control">
<div class="input-group">
<label class="input-group-addon" id="filter-label" for="filter-input">Filter:</label>
<input type="text" class="form-control" placeholder="Keywords or search string" id="filter-input" ng-model="search" ng-model-options="{debounce: 50}"/>