This commit is contained in:
JeremyVyska 2022-02-22 08:39:06 +00:00
parent 573b8d1ca3
commit 6101d38b0d
187 changed files with 357 additions and 363 deletions

View file

@ -56,7 +56,7 @@ We enabled the “Discussions” forum on the github-page of our reposit
</li>
</ul>
</div>
<div class="navbar-nav d-none d-lg-block"><input type=search class="form-control td-search-input" placeholder="&#xf002; Search this site…" aria-label="Search this site…" autocomplete=off data-offline-search-index-json-src=/offline-search-index.16155e6a127efbc5f5c6e1a4492dd4fd.json data-offline-search-base-href=/ data-offline-search-max-results=10>
<div class="navbar-nav d-none d-lg-block"><input type=search class="form-control td-search-input" placeholder="&#xf002; Search this site…" aria-label="Search this site…" autocomplete=off data-offline-search-index-json-src=/offline-search-index.603c40ef8c314f561eb308b4377e7f3c.json data-offline-search-base-href=/ data-offline-search-max-results=10>
</div>
</nav>
</header>