big theme upgrade/initialization

This commit is contained in:
Landon Taylor 2025-06-06 17:10:24 -06:00
parent 0c6aa62192
commit 6db99b3eee
4 changed files with 10 additions and 3 deletions

@ -1 +1 @@
Subproject commit 47a236c035a2d52edca597cacfd32215677d9ee8 Subproject commit 7ee9f4c961822e6b3d3a5622ad92b2828ab36d40

View File

@ -3,6 +3,13 @@ languageCode = 'en-us'
title = 'Formal Methods Tools' title = 'Formal Methods Tools'
theme = 'fmtools' 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] [taxonomies]
purpose = 'purposes' purpose = 'purposes'

2
public

@ -1 +1 @@
Subproject commit cddd4b116c468c8e335e98f291f03bbb493d550c Subproject commit 15707a906e468cfd3bdc91541177f9edb17d914e

@ -1 +1 @@
Subproject commit 94950041f6d88217cc9850198117c02954fe2f2b Subproject commit 4acfe1d02704a7c35a84d41f496f1118ea328715