From 6db99b3eeeefc7f4e15579ac0f9eb87f0a7a9f4f Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Fri, 6 Jun 2025 17:10:24 -0600
Subject: [PATCH] big theme upgrade/initialization

---
 content        | 2 +-
 hugo.toml      | 7 +++++++
 public         | 2 +-
 themes/fmtools | 2 +-
 4 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/content b/content
index 47a236c..7ee9f4c 160000
--- a/content
+++ b/content
@@ -1 +1 @@
-Subproject commit 47a236c035a2d52edca597cacfd32215677d9ee8
+Subproject commit 7ee9f4c961822e6b3d3a5622ad92b2828ab36d40
diff --git a/hugo.toml b/hugo.toml
index 398a504..decc8da 100644
--- a/hugo.toml
+++ b/hugo.toml
@@ -3,6 +3,13 @@ languageCode = 'en-us'
 title = 'Formal Methods Tools'
 theme = 'fmtools'
 
+[menus]
+  main = [
+    { name = 'Home', url = '/', weight = 1 },
+    { name = 'Tools', url = '/tools/', weight = 2 },
+    { name = 'Taxonomies', url = '/taxonomies/', weight = 3 },
+    { name = 'About', url = '/about/', weight = 4 }
+  ]
 
 [taxonomies]
   purpose = 'purposes'
diff --git a/public b/public
index cddd4b1..15707a9 160000
--- a/public
+++ b/public
@@ -1 +1 @@
-Subproject commit cddd4b116c468c8e335e98f291f03bbb493d550c
+Subproject commit 15707a906e468cfd3bdc91541177f9edb17d914e
diff --git a/themes/fmtools b/themes/fmtools
index 9495004..4acfe1d 160000
--- a/themes/fmtools
+++ b/themes/fmtools
@@ -1 +1 @@
-Subproject commit 94950041f6d88217cc9850198117c02954fe2f2b
+Subproject commit 4acfe1d02704a7c35a84d41f496f1118ea328715