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