MarginaliaSearch/code/services-application/search-service/resources/templates/search/parts/search-header.hdb

<a name="top"></a>
<header>
    <nav>
        <a href="#" class="screenreader-only" onClick="">Skip to content</a>
        <a href="https://www.marginalia.nu/">Marginalia</a>
        <a href="https://memex.marginalia.nu/projects/edge/about.gmi">About</a>
        <a href="https://memex.marginalia.nu/projects/edge/supporting.gmi">Donate</a>
        <a class="extra" href="https://search.marginalia.nu/explore/random">Random</a>
    </nav>
    <div id="theme">
        <label for="theme-select" class="screenreader-only">Color Theme</label>
        <select id="theme-select">
            <option value="system" selected>System</option>
            <option value="light">Light</option>
            <option value="dark">Dark</option>
        </select>
    </div>
</header>

<!-- load this ASAP to avoid color theme flicker -->
<script src="/theme.js"></script>
first commit 2022-05-19 15:45:26 +00:00			`<a name="top"></a>`
			`<header>`
			`<nav>`
(search) Add bypass link that skips navigation 2024-05-01 14:21:25 +00:00			`<a href="#" class="screenreader-only" onClick="">Skip to content</a>`
first commit 2022-05-19 15:45:26 +00:00			`<a href="https://www.marginalia.nu/">Marginalia</a>`
			`<a href="https://memex.marginalia.nu/projects/edge/about.gmi">About</a>`
Reformulate search-header.hdb, s/Support/Donate/ the formulation was apparently confusing some people thinking they could get support on this page. 2023-04-18 15:03:57 +00:00			`<a href="https://memex.marginalia.nu/projects/edge/supporting.gmi">Donate</a>`
Increase search result relevance (#8) * Increase accuracy of the position bits. * Increase their width to 56. * Use a rolling position scheme for bits 16-56 to increase the average accuracy. * Result ranking overhaul * Optimized queries * BM25 in the index service's ranking * Make gui less jank * Javadocs for ranking parameters. 2023-04-07 18:18:08 +00:00			`<a class="extra" href="https://search.marginalia.nu/explore/random">Random</a>`
first commit 2022-05-19 15:45:26 +00:00			`</nav>`
Add a theme select to the header that lets users toggle their theme independent of their OS theme 2024-06-03 02:02:52 +00:00			`<div id="theme">`
			`<label for="theme-select" class="screenreader-only">Color Theme</label>`
			`<select id="theme-select">`
			`<option value="system" selected>System</option>`
			`<option value="light">Light</option>`
			`<option value="dark">Dark</option>`
			`</select>`
			`</div>`
first commit 2022-05-19 15:45:26 +00:00			`</header>`
Add a theme select to the header that lets users toggle their theme independent of their OS theme 2024-06-03 02:02:52 +00:00
			`<!-- load this ASAP to avoid color theme flicker -->`
			`<script src="/theme.js"></script>`