From d43c7ce1d2c15909db3fd0057cc347d69fa838c7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Fri, 22 Jan 2021 17:30:55 +0100
Subject: [PATCH 1/1] nav menu on top

---
 index.cgi |  3 ++-
 style.css | 37 +++++++++++++++++++++++++++++++++++++
 2 files changed, 39 insertions(+), 1 deletion(-)

diff --git a/index.cgi b/index.cgi
index 0cfa8a3..7dfe9fd 100755
--- a/index.cgi
+++ b/index.cgi
@@ -55,8 +55,9 @@ yield_page() {
     printf '
 	] [body #top class="%s"
     ' "$class"
-    cat
+    printf '[ul .menu [li [a "/cards/" . %s]][li [a "/courses/" . %s]]]' "$(l10n cards)" "$(l10n courses)"
     [ "$message" ] && printf '[p #message\n%s\n]' "$(l10n "$message")"
+    cat
     printf '] ]'
   } \
   | "${_EXEC}/cgilite/html-sh.sed"
diff --git a/style.css b/style.css
index 302a52f..e0faba6 100644
--- a/style.css
+++ b/style.css
@@ -1,4 +1,5 @@
 * {
+  position: relative;
   box-sizing: border-box;
   font-family: sans-serif;
   font-weight: normal;
@@ -15,6 +16,8 @@ body {
   color: #000; background-color: #FFF;
 }
 
+/* ======= GENERIC HTML STYLES =======*/
+
 p { margin-bottom: 1em; }
 
 a {
@@ -71,6 +74,11 @@ input[type=number] { text-align: right; padding-right: 0; }
 button, input[type=button],
 .control a {
   box-shadow: .125em .125em .25em;
+  cursor: pointer;
+}
+input[type=radio], input[type=checkbox],
+input[type=radio] + label, input[type=checkbox] + label {
+  cursor: pointer;
 }
 
 label { margin-right: .75em; }
@@ -78,6 +86,35 @@ input + label {
   margin-left: .375em;
 }
 
+/* ====== COMMON ELEMENTS ======*/
+
+body > ul.menu {
+  display: block;
+  height: 1.75em;
+  margin: 0; -padding: 0 .5em;
+  list-style: none;
+  color: #CCC;
+  background-color: #444;
+  box-shadow: inset 0 -.25em .25em #000;
+  overflow: hidden;
+  z-index: 3;
+}
+
+body > .menu li {
+  display: inline-block;
+}
+body > .menu a {
+  color: inherit;
+  padding: .5em 3em;
+  box-shadow: inset 0 0 .5em #000;
+}
+body.cards > .menu a[href="/cards/"],
+body.courses > .menu a[href="/courses/"] {
+  color: #000;
+  background-color: #FFF;
+  box-shadow: none;
+}
+
 /* =========== FILTER AND SEARCH Headers ========= */
 
 form.search, form.sort, form.filter, form.newcard, form.newcourses {
-- 
2.39.2