feat: fixed navbar

This commit is contained in:
Nick 2024-11-14 21:10:41 -06:00
parent a55ba3c627
commit 55eb3a8a60
5 changed files with 23 additions and 10 deletions

View file

@ -296,7 +296,8 @@ argumentList =
, conclusionNotation = ""
}
]
},{ argumentTitle = ""
}
, { argumentTitle = ""
, propositionTitle = ""
, propositionSummary = ""
, definitionTable =

View file

@ -215,8 +215,8 @@ dodgersList =
, cuckPhilippeStephenson
, cuckRalphNapolitano
, cuckRaphaelSirtoli
, cuckRobMeijer
, cuckRobbWolf
, cuckRobMeijer
, cuckSimonGoddek
, cuckTravisStatham
, cuckTristanHaggard