summaryrefslogtreecommitdiff
path: root/projects
diff options
context:
space:
mode:
Diffstat (limited to 'projects')
-rw-r--r--projects/8seg/index.html12
-rw-r--r--projects/gerbolyze/index.html12
-rw-r--r--projects/gerbonara/index.html12
-rw-r--r--projects/index.html10
-rw-r--r--projects/kimesh/index.html12
-rw-r--r--projects/lolcat-c/index.html12
-rw-r--r--projects/python-mpv/index.html12
-rw-r--r--projects/svg-flatten/index.html12
-rw-r--r--projects/wsdiff/index.html12
9 files changed, 89 insertions, 17 deletions
diff --git a/projects/8seg/index.html b/projects/8seg/index.html
index 829fe70..78ea10b 100644
--- a/projects/8seg/index.html
+++ b/projects/8seg/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/8seg.git">Sources and hardware design files</a>
<a href="https://www.printables.com/model/695260-parametric-flexible-aluminium-profile-case">Enclosure 3D models</a>
@@ -51,13 +54,18 @@ variety of spaces, conforming to the space's size and shape through bending and
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/gerbolyze/index.html b/projects/gerbolyze/index.html
index 575a54c..fb6878e 100644
--- a/projects/gerbolyze/index.html
+++ b/projects/gerbolyze/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/gerbolyze.git">Sources</a>
<a href="https://github.com/jaseg/gerbolyze/issues">Issues</a>
@@ -638,13 +641,18 @@ avoid that so the default license is still AGPL.</p>
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/gerbonara/index.html b/projects/gerbonara/index.html
index 70d2513..204c74c 100644
--- a/projects/gerbonara/index.html
+++ b/projects/gerbonara/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/gerbonara.git">Sources</a>
<a href="https://gitlab.com/gerbolyze/gerbonara/issues">Issues</a>
@@ -153,13 +156,18 @@ some non-standard naming convention.</p>
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/index.html b/projects/index.html
index 092f552..b7daeba 100644
--- a/projects/index.html
+++ b/projects/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects" class="active">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -185,13 +188,18 @@ open an issue on the project's issue tracker.</p>
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/kimesh/index.html b/projects/kimesh/index.html
index c009284..33c9ef5 100644
--- a/projects/kimesh/index.html
+++ b/projects/kimesh/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
<strong>2023-10-04</strong>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/kimesh.git">Sources</a>
<a href="https://github.com/jaseg/kimesh/issues">Issues</a>
@@ -92,13 +95,18 @@ higher-numbered pins are.</p>
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/lolcat-c/index.html b/projects/lolcat-c/index.html
index 0e96a0d..98ac3f0 100644
--- a/projects/lolcat-c/index.html
+++ b/projects/lolcat-c/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/lolcat.git">Sources</a>
<a href="https://github.com/jaseg/lolcat">Github</a>
@@ -120,13 +123,18 @@
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/python-mpv/index.html b/projects/python-mpv/index.html
index 037e1d8..7df1dd7 100644
--- a/projects/python-mpv/index.html
+++ b/projects/python-mpv/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/python-mpv.git">Sources</a>
<a href="https://github.com/jaseg/python-mpv/issues">Issues</a>
@@ -396,13 +399,18 @@ For details, see <a class="reference external" href="https://github.com/mpv-play
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/svg-flatten/index.html b/projects/svg-flatten/index.html
index cc80426..29868a3 100644
--- a/projects/svg-flatten/index.html
+++ b/projects/svg-flatten/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/gerbolyze.git/tree/svg-flatten?h=main">Sources</a>
<a href="https://github.com/jaseg/gerbolyze/issues">Issues</a>
@@ -51,13 +54,18 @@ gerbolyze.</p>
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
diff --git a/projects/wsdiff/index.html b/projects/wsdiff/index.html
index 53c3c5a..8ae2de2 100644
--- a/projects/wsdiff/index.html
+++ b/projects/wsdiff/index.html
@@ -16,6 +16,9 @@
<a href="/projects/" title="Projects">Projects</a>
<a href="/about/" title="About">About</a>
</div>
+ <div class="search">
+ <div id="search"></div>
+ </div>
<div class="external">
<a href="https://git.jaseg.de/" title="cgit">cgit</a>
<a href="https://github.com/jaseg" title="Github">Github</a>
@@ -32,7 +35,7 @@
</ul>
</header>
- <main>
+ <main data-pagefind-body>
<div class="links">
<a href="https://git.jaseg.de/wsdiff.git">Sources</a>
<a href="https://github.com/jaseg/wsdiff/issues">Issues</a>
@@ -93,13 +96,18 @@ on available screen space.</p>
/ <a href="/about/">About</a>
/ <a href="/imprint/">Imprint</a>
</footer>
-<script>
+<script src="/pagefind/pagefind-ui.js"></script>
+ <script>
if(navigator.getEnvironmentIntegrity!==undefined)document.querySelector('body').innerHTML=`<h1>Your browser
contains Google DRM</h1>"Web Environment Integrity" is a Google euphemism for a DRM that is designed to
prevent ad-blocking, and which Google has forced into their browsers against widespread public opposition.
In support of an open web, this website does not function with this DRM. Please install a browser such
as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a> that respects your freedom and supports
ad blockers.`;
+
+ window.addEventListener('DOMContentLoaded', (event) => {
+ new PagefindUI({element: "#search", showSubResults: true});
+ });
</script>
</body>
</html>
generated by cgit (git 2.34.1) at 2024-11-21 21:17:54 +0000