From a917f40da916cb7a5272d943c1ca62814c9aed1c Mon Sep 17 00:00:00 2001
From: Atul Varma <varmaa@gmail.com>
Date: Mon, 29 Mar 2021 07:48:56 -0400
Subject: [PATCH] Move page list to header for easier navigation.

---
 index.html           | 18 ++++++++++++++++++
 lib/browser-main.tsx | 29 +++++++++++++++++------------
 2 files changed, 35 insertions(+), 12 deletions(-)

diff --git a/index.html b/index.html
index 2143712..7b59572 100644
--- a/index.html
+++ b/index.html
@@ -30,6 +30,24 @@ select {
   margin-top: 10px;
   margin-bottom: 10px;
 }
+
+ul.navbar {
+  display: flex;
+  list-style-type: none;
+  margin: 0;
+  padding: 0;
+  justify-content: flex-end;
+}
+
+ul.navbar li {
+  border-right: 1px solid gray;
+  margin-right: 8px;
+  padding-right: 8px;
+}
+
+ul.navbar li:last-child {
+  border-right: none;
+}
 </style>
 <noscript>
   <p>Alas, you need JavaScript to peruse this page.</p>
diff --git a/lib/browser-main.tsx b/lib/browser-main.tsx
index 3a5fa04..9d80a46 100644
--- a/lib/browser-main.tsx
+++ b/lib/browser-main.tsx
@@ -26,6 +26,20 @@ if (!appEl) {
   throw new Error(`Unable to find #${APP_ID}!`);
 }
 
+const Navbar: React.FC<{ currPageName: string }> = (props) => (
+  <ul className="navbar">
+    {pageNames.map((pageName) => (
+      <li key={pageName}>
+        {props.currPageName === pageName ? (
+          pageName
+        ) : (
+          <a href={`?p=${encodeURIComponent(pageName)}`}>{pageName}</a>
+        )}
+      </li>
+    ))}
+  </ul>
+);
+
 const App: React.FC<{}> = (props) => {
   const page = new URLSearchParams(window.location.search);
   const currPageName = toPageName(page.get("p") || "", "vocabulary");
@@ -33,22 +47,13 @@ const App: React.FC<{}> = (props) => {
 
   return (
     <>
+      <header>
+        <Navbar currPageName={currPageName} />
+      </header>
       <main>
         <PageComponent />
       </main>
       <footer>
-        <p>Other pages</p>
-        <ul>
-          {pageNames.map((pageName) => (
-            <li key={pageName}>
-              {currPageName === pageName ? (
-                pageName
-              ) : (
-                <a href={`?p=${encodeURIComponent(pageName)}`}>{pageName}</a>
-              )}
-            </li>
-          ))}
-        </ul>
         <p>
           For more details about this project, see its{" "}
           <a href="https://github.com/toolness/mystic-symbolic" target="_blank">