-
Notifications
You must be signed in to change notification settings - Fork 0
/
search.html
89 lines (73 loc) · 2.33 KB
/
search.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
<!DOCTYPE html>
<html lang="en" class="without-js">
<head>
<title>Search | Jovian-NixOS</title>
<base href="." />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width, minimum-scale=1.0, initial-scale=1.0" />
<link rel="stylesheet" href="styles/index.css" type="text/css" />
<script>
var html = document.documentElement;
html.className = html.className.replace("without-js", "with-js");
</script>
</head>
<body class="path--search-html">
<header>
<div>
<h1><a href="index.html">Jovian-NixOS</a></h1>
<nav>
<ul>
<li><a href="getting-started.html" class="-getting-started">Getting Started</a></li>
<li><a href="in-depth.html" class="-in-depth">In Depth</a></li>
<li><a href="options.html" class="-options">Options</a></li>
<li><a href="packages.html" class="-packages">Packages</a></li>
<li><a href="contributing.html" class="-contributing">Contributing</a></li>
<li><a href="search.html" class="-search">Search</a></li>
</ul>
</nav>
</div>
</header>
<main>
<div class="generic-layout">
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html><body>
<h1>Search</h1>
<noscript>
<blockquote class="admonition-box -warning">
<header>Warning</header>
<p>This search engine requires use of JavaScript.</p>
</blockquote>
</noscript>
<div id="search"></div>
<script>
window.addEventListener('DOMContentLoaded', (event) => {
pagefind = new PagefindUI({
element: "#search",
baseUrl: document.baseURI.replace(/search.html/, ""),
showImages: false,
translations: {
placeholder: "",
},
});
// Workaround for the lack of an autofocus option.
window.setTimeout(function () {
document.querySelector(".pagefind-ui__search-input").focus();
}, 1);
});
</script>
<script src="!pagefind/pagefind-ui.js" type="text/javascript"></script>
</body></html>
</div>
</main>
<footer>
<div>
<nav>
<ul>
<li><a href="sitemap.html">Sitemap</a></li>
<li><a href="https://github.com/Jovian-Experiments/Jovian-NixOS/edit/development/docs/search.md">Edit this page</a></li>
</ul>
</nav>
</div>
</footer>
</body>
</html>