From 09a72878776d107db3c3ae9103fa14d1145140f8 Mon Sep 17 00:00:00 2001
From: Thomas Sileo <t@a4.io>
Date: Tue, 5 Jul 2022 09:32:43 +0200
Subject: [PATCH] Tweak docs design

---
 docs/templates/layout.html | 9 +++++++--
 scripts/generate_docs.py   | 2 ++
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/docs/templates/layout.html b/docs/templates/layout.html
index de59d01..9152101 100644
--- a/docs/templates/layout.html
+++ b/docs/templates/layout.html
@@ -48,6 +48,10 @@ a {
 nav a, main a, header p a {
     color: #1d781d;
 }
+nav a.active, main a.active, header p a.active {
+  color: #781D78;
+  font-weight: bold;
+}
 nav a:hover, main a:hover, header p a:hover {
     color: #781D78;
 }
@@ -60,6 +64,7 @@ code {
     padding: 10px;
     overflow: auto;
     display: block;
+    font-family: monospace;
 }
 </style>
 <link rel="stylesheet" href="static/codehilite.css" type="text/css" />
@@ -73,8 +78,8 @@ code {
 
     <nav class="flexbox">
         <ul>
-            <li><a href="/">Home</a>
-            <li><a href="/installing.html">Installing</a>
+            <li><a href="/"{% if path == "/" %} class="active"{% endif %}>Home</a>
+            <li><a href="/installing.html"{% if path == "/installing.html" %} class="active"{% endif %}>Installing</a>
             <li><a href="https://sr.ht/~tsileo/microblog.pub/">Source code</a>
             <li><a href="https://todo.sr.ht/~tsileo/microblog.pub">Bug tracker</a>
             <li><a href="https://sr.ht/~tsileo/microblog.pub/lists">Mailing list</a>
diff --git a/scripts/generate_docs.py b/scripts/generate_docs.py
index fa47113..5c79ff6 100644
--- a/scripts/generate_docs.py
+++ b/scripts/generate_docs.py
@@ -28,12 +28,14 @@ def main() -> None:
     template.stream(
         content=markdownify(readme.read_text().removeprefix("# microblog.pub")),
         version=VERSION,
+        path="/",
     ).dump("docs/dist/index.html")
 
     install = Path("docs/install.md")
     template.stream(
         content=markdownify(install.read_text().removeprefix("# microblog.pub")),
         version=VERSION,
+        path="/installing.html",
     ).dump("docs/dist/installing.html")