wmantly
fcd73169e0
- A ? icon in the top-right header deep-links to the doc most relevant to the current page (client-side path mapping, same pattern already used for top-nav active-link highlighting -- no server-side "current section" local exists to key off of instead). Falls back to the docs index. - GET /docs/search does a plain line-substring search over the existing allowlisted doc set. No new dependency, stays usable with no internet access. Bumps to v1.1.10. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KDEx8ghuZR61pqPXc6da9C
68 lines
2.1 KiB
Plaintext
68 lines
2.1 KiB
Plaintext
<%- include('top') %>
|
|
|
|
<div class="row justify-content-center">
|
|
<div class="col-md-8">
|
|
<div class="card shadow-lg mt-4 mb-4">
|
|
<div class="card-header shadow">
|
|
<i class="fa-solid fa-book"></i> Documentation
|
|
</div>
|
|
<div class="card-body">
|
|
<p class="text-muted">
|
|
A local copy of this project's documentation, readable from the
|
|
running app -- no internet access required.
|
|
</p>
|
|
<div class="input-group mb-3">
|
|
<span class="input-group-text"><i class="fa-solid fa-magnifying-glass"></i></span>
|
|
<input type="search" id="docs-search-input" class="form-control" placeholder="Search the docs…" oninput="docsSearch(this.value)">
|
|
</div>
|
|
<div id="docs-search-results" style="display:none"></div>
|
|
<ul id="docs-list" class="list-group">
|
|
<% docs.forEach(function(doc){ %>
|
|
<li class="list-group-item">
|
|
<a href="/docs/<%= doc.slug %>"><%= doc.title %></a>
|
|
</li>
|
|
<% }) %>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
<script type="text/javascript">
|
|
var docsSearchTimer;
|
|
function docsSearch(q){
|
|
clearTimeout(docsSearchTimer);
|
|
docsSearchTimer = setTimeout(function(){ docsSearchRun(q); }, 200);
|
|
}
|
|
function docsSearchRun(q){
|
|
q = (q || '').trim();
|
|
var $results = $('#docs-search-results');
|
|
var $list = $('#docs-list');
|
|
if(!q){
|
|
$results.hide().empty();
|
|
$list.show();
|
|
return;
|
|
}
|
|
// Not app.api.get() -- routes/docs.js is mounted at /docs directly,
|
|
// not under /api, unlike the rest of this app's endpoints.
|
|
$.getJSON('/docs/search', {q: q}, function(data){
|
|
$list.hide();
|
|
$results.empty().show();
|
|
var hits = (data && data.results) || [];
|
|
if(!hits.length){
|
|
$results.append($('<p class="text-muted"></p>').text('No results for "' + q + '".'));
|
|
return;
|
|
}
|
|
var $ul = $('<ul class="list-group"></ul>');
|
|
hits.forEach(function(hit){
|
|
var $li = $('<li class="list-group-item"></li>');
|
|
$('<a></a>').attr('href', '/docs/' + hit.slug).text(hit.title).appendTo($li);
|
|
$('<div class="text-muted small"></div>').text(hit.snippet).appendTo($li);
|
|
$ul.append($li);
|
|
});
|
|
$results.append($ul);
|
|
});
|
|
}
|
|
</script>
|
|
|
|
<%- include('bottom') %>
|