From 41ecec74c37854c286e51cd1358f8692ea91ad8d Mon Sep 17 00:00:00 2001 From: Paul Eichler Date: Thu, 22 Jan 2026 21:33:31 +0100 Subject: [PATCH] fix: logo text --- docs/myst.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/myst.yml b/docs/myst.yml index 219894f..6c54acb 100644 --- a/docs/myst.yml +++ b/docs/myst.yml @@ -85,5 +85,5 @@ site: numbered_references: true style: ./resources/style.css logo: ./resources/taco-logo.webp - logo_text: "TACO Toolsuite for Threshold Automata" + logo_text: "TACO Toolsuite" favicon: ./resources/taco-favicon.webp