From 203db2c82b7fa809d4457f6cdb3ca457be95fca1 Mon Sep 17 00:00:00 2001
From: Hugo Alliaume <hugo@alliau.me>
Date: Tue, 3 Feb 2026 08:24:22 +0100
Subject: [PATCH 1/4] Add navigation menu

---
 theme/layout.html         | 11 +++++++++++
 theme/static/css/base.css | 24 ++++++++++--------------
 2 files changed, 21 insertions(+), 14 deletions(-)

diff --git a/theme/layout.html b/theme/layout.html
index 958f92995..f40607bcd 100644
--- a/theme/layout.html
+++ b/theme/layout.html
@@ -52,6 +52,17 @@ <h1 class="title_header">
       </header>
     {% endblock %}
 
+    {%- block navigation %}
+      <nav class="nav">
+        <ul class="menu">
+          <li class="{% if pagename == 'doc/usage' or pagename.startswith('doc/usage') %}active{% endif %}"><a href="{{ pathto('doc/usage') }}">Usage</a></li>
+          <li class="{% if pagename == 'doc/rules/index' or pagename.startswith('doc/rules') %}active{% endif %}"><a href="{{ pathto('doc/rules/index') }}">Rules</a></li>
+          <li class="{% if pagename == 'doc/ruleSets/index' or pagename.startswith('doc/ruleSets') %}active{% endif %}"><a href="{{ pathto('doc/ruleSets/index') }}">Rule sets</a></li>
+          <li class="{% if pagename == 'doc/config' or pagename.startswith('doc/config') %}active{% endif %}"><a href="{{ pathto('doc/config') }}">Configuration</a></li>
+        </ul>
+      </nav>
+    {% endblock %}
+
     {%- block content %}
       <main class="bd">
         <div class="content">
diff --git a/theme/static/css/base.css b/theme/static/css/base.css
index 69790480d..46eeb165e 100644
--- a/theme/static/css/base.css
+++ b/theme/static/css/base.css
@@ -53,7 +53,7 @@ a:visited
   right: 0;
 }
 
-.hd, .bd, .ft
+.hd, .nav, .bd, .ft
 {
   max-width: 1200px;
   min-width: 996px;
@@ -154,36 +154,32 @@ a:visited
   border-bottom: 2px dotted #fff;
 }
 
-.menu
+.nav .menu
 {
-  padding-top: 95px;
-  width: 940px;
   font-family: Arial, sans-serif;
+  display: flex;
+  gap: 30px;
+  padding: 0 15px 40px;
 }
 
-.menu li
+.nav .menu li
 {
-  color: #ffffff;
   font-size: 1.125em;
-  display: inline;
-  padding-right: 30px;
 }
 
-.menu a
+.nav .menu a
 {
-  color: #ffffff;
   text-decoration: none;
 }
 
-.menu a:hover
+.nav .menu a:hover
 {
-  color: #ffffff;
   text-decoration: underline;
 }
 
-.menu a.active
+.nav .menu li.active a
 {
-  color: #444;
+  font-weight: bold;
 }
 
 .bd .content

From 11fba7a5f22a2d2565919c5b98659868b433ee34 Mon Sep 17 00:00:00 2001
From: Hugo Alliaume <hugo@alliau.me>
Date: Thu, 5 Feb 2026 19:26:35 +0100
Subject: [PATCH 2/4] Handle review comments

---
 theme/layout.html         | 23 ++++++++++++-----------
 theme/static/css/base.css | 13 +++++++------
 2 files changed, 19 insertions(+), 17 deletions(-)

diff --git a/theme/layout.html b/theme/layout.html
index f40607bcd..40e3af649 100644
--- a/theme/layout.html
+++ b/theme/layout.html
@@ -47,22 +47,23 @@ <h1 class="title_header">
                 <strong>{{ theme_fixer_version_codename }} (v{{ theme_fixer_version_number }})</strong> edition
               </h1>
             </div>
+
+            {%- block navigation %}
+            <nav class="nav">
+              <ul class="menu">
+                <li><a href="{% if pagename == root_doc %}#installation{% else %}{{ pathto(root_doc) }}#installation{% endif %}">Installation</a></li>
+                <li class="{% if pagename.startswith('doc/usage') %}active{% endif %}"><a href="{{ pathto('doc/usage') }}">Usage</a></li>
+                <li class="{% if pagename.startswith('doc/config') %}active{% endif %}"><a href="{{ pathto('doc/config') }}">Configuration</a></li>
+                <li class="{% if pagename.startswith('doc/rules') %}active{% endif %}"><a href="{{ pathto('doc/rules/index') }}">Rules</a></li>
+                <li class="{% if pagename.startswith('doc/ruleSets') %}active{% endif %}"><a href="{{ pathto('doc/ruleSets/index') }}">Sets</a></li>
+              </ul>
+            </nav>
+            {% endblock %}
           </div>
         </div>
       </header>
     {% endblock %}
 
-    {%- block navigation %}
-      <nav class="nav">
-        <ul class="menu">
-          <li class="{% if pagename == 'doc/usage' or pagename.startswith('doc/usage') %}active{% endif %}"><a href="{{ pathto('doc/usage') }}">Usage</a></li>
-          <li class="{% if pagename == 'doc/rules/index' or pagename.startswith('doc/rules') %}active{% endif %}"><a href="{{ pathto('doc/rules/index') }}">Rules</a></li>
-          <li class="{% if pagename == 'doc/ruleSets/index' or pagename.startswith('doc/ruleSets') %}active{% endif %}"><a href="{{ pathto('doc/ruleSets/index') }}">Rule sets</a></li>
-          <li class="{% if pagename == 'doc/config' or pagename.startswith('doc/config') %}active{% endif %}"><a href="{{ pathto('doc/config') }}">Configuration</a></li>
-        </ul>
-      </nav>
-    {% endblock %}
-
     {%- block content %}
       <main class="bd">
         <div class="content">
diff --git a/theme/static/css/base.css b/theme/static/css/base.css
index 46eeb165e..4e753a5cc 100644
--- a/theme/static/css/base.css
+++ b/theme/static/css/base.css
@@ -154,21 +154,22 @@ a:visited
   border-bottom: 2px dotted #fff;
 }
 
+ .nav {
+    background-color: transparent;
+    margin-top: 50px;
+}
+
 .nav .menu
 {
   font-family: Arial, sans-serif;
   display: flex;
   gap: 30px;
-  padding: 0 15px 40px;
-}
-
-.nav .menu li
-{
-  font-size: 1.125em;
 }
 
 .nav .menu a
 {
+  font-size: 1.2em;
+  color: #fff;
   text-decoration: none;
 }
 

From 17a2750483abacc33e99b168daa91c4573c3143a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dariusz=20Rumi=C5=84ski?= <dariusz.ruminski@gmail.com>
Date: Fri, 6 Feb 2026 15:51:18 +0100
Subject: [PATCH 3/4] Apply suggestion from @keradus

---
 theme/layout.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theme/layout.html b/theme/layout.html
index 40e3af649..5b936f572 100644
--- a/theme/layout.html
+++ b/theme/layout.html
@@ -51,7 +51,7 @@ <h1 class="title_header">
             {%- block navigation %}
             <nav class="nav">
               <ul class="menu">
-                <li><a href="{% if pagename == root_doc %}#installation{% else %}{{ pathto(root_doc) }}#installation{% endif %}">Installation</a></li>
+                <li class="{% if pagename.startswith('doc/installation') %}active{% endif %}"><a href="{{ pathto('doc/installation') }}">Installation</a></li>
                 <li class="{% if pagename.startswith('doc/usage') %}active{% endif %}"><a href="{{ pathto('doc/usage') }}">Usage</a></li>
                 <li class="{% if pagename.startswith('doc/config') %}active{% endif %}"><a href="{{ pathto('doc/config') }}">Configuration</a></li>
                 <li class="{% if pagename.startswith('doc/rules') %}active{% endif %}"><a href="{{ pathto('doc/rules/index') }}">Rules</a></li>

From aa0b6b880c02e731f5766ebc09a6451ec0404a41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dariusz=20Rumi=C5=84ski?= <dariusz.ruminski@gmail.com>
Date: Fri, 6 Feb 2026 16:01:48 +0100
Subject: [PATCH 4/4] Apply suggestion from @keradus

---
 theme/static/css/base.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theme/static/css/base.css b/theme/static/css/base.css
index 4e753a5cc..180bfb681 100644
--- a/theme/static/css/base.css
+++ b/theme/static/css/base.css
@@ -180,7 +180,7 @@ a:visited
 
 .nav .menu li.active a
 {
-  font-weight: bold;
+  color: #fbc817;
 }
 
 .bd .content