mipmip/home-manager-option-search
1
1
Fork 0
mirror of https://github.com/mipmip/home-manager-option-search.git synced 2024-10-05 13:17:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

remove superfluous space

Browse Source
This commit is contained in:
Tobias H. Petersen 2023-12-16 18:26:23 +01:00
parent 033c156f18
commit 81e8bf007e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
index.html
View File

@ -71,7 +71,7 @@
<span style="font-weight:normal;font-size:smaller;"> (<span><span id="optionCountBadge" style="font-weight:normal;font-size:smaller;" xclass="badge"></span><span style="font-weight:normal;font-size:smaller;">)<span>
</label>
<input class="form-control" type="search" id="searchInput" autofocus="autofocus" placeholder="Search.. e.g. vim">
<input class="form-control" type="search" id="searchInput" autofocus="autofocus" placeholder="Search.. e.g. vim">
</div>
<div class="form-group">