[<time id="index-last-refresh" title="Last index refresh" data-init="1">...</time>]&nbsp;
[<a href="./catalog">Catalog</a>]&nbsp;
<input type="search" id="index-search" placeholder="Search">