commit bb84f9ea43e9c274e1e3abcf543624c7ff313a77
parent 880828484859407c9f37b8d4a1ef5608e2bb38c6
Author: phoebos <ben@bvnf.space>
Date: Mon, 6 Nov 2023 16:04:27 +0000
also update header in search page.
this is annoying to have two separate sources but build-page.c isn't clever enough to do differently.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cgi-bin/search b/cgi-bin/search
@@ -99,7 +99,7 @@ if {0==[catch main res]} {
set document "<!DOCTYPE html><html><head><meta charset=\"utf-8\"/><meta name=\"viewport\" content=\"width=device-width, initial-scale=1\"><title>$::title</title><link rel=\"stylesheet\" type=\"text/css\" href=\"/style.css\"/><link rel=\"icon\" href=\"data:image/gif;base64,R0lGODlhEAAQAPEDAAAAAP8AAP///wAAACH5BAX//wMALAAAAAAQABAAAAImnB+ni8kf4mNRzmbvqE5zPQDiqI3kBQhmqZ5TuqKtyMavCZT4UgAAOw==\"/></head>"
append document {<body><div id="menu"><a href="/"><b>KISS Community Wiki</b></a>
<span class="right">
- <a href="https://github.com/kiss-community">Github</a>
+ <a href="/cgi-bin/search">Search</a>
<a href="https://codeberg.org/kiss-community">Codeberg</a>
<a href="https://kisslinux.org">Official site</a>
</span></div><div id="content"><div id="main">