#!/bin/sh
+# Copyright 2022 - 2023 Paul Hänsch
+#
+# Permission to use, copy, modify, and/or distribute this software for any
+# purpose with or without fee is hereby granted, provided that the above
+# copyright notice and this permission notice appear in all copies.
+#
+# THE SOFTWARE IS PROVIDED “AS IS” AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
+# SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR
+# IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+
. "$_EXEC/tools.sh"
theme_head(){
theme_revisions(){ theme_page "$@"; }
+theme_search(){
+ local words="$*"
+ # STDIN: read result pages line by line
+
+ theme_page - <<-EOF
+ <article>
+ <h1>$([ "$words" ] && _ "Search results" || _ "Search" )</h1>
+ <form method=GET>
+ <input class="search" name="q" value="$(HTML $words)"><button class="search" type="submit">$(_ Search)</button>
+ </form>
+ <ol class="searchresults">
+ $( while read p; do
+ printf '<li><a href="%s">%s</a></li>' "$(URL "$p")" "$(HTML "$p")"
+ done)
+ </ol>
+ </article>
+ EOF
+}
+
theme_attachments(){
local page="$1" title
title="${page%/}"; title="${title##*/}"