add a square favicon

moves-rwth · Nov 25, 2024 · b79ed9c · b79ed9c
1 parent 18afda0
commit b79ed9c
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/website/docusaurus.config.js b/website/docusaurus.config.js
@@ -8,7 +8,7 @@ const darkCodeTheme = require('prism-react-renderer/themes/nightOwl');
 const config = {
   title: 'Caesar',
   tagline: 'Verify probabilistic programs with Caesar, a deductive verifier built on the HeyVL intermediate verification language.',
-  favicon: 'img/laurel.svg',
+  favicon: 'img/laurel-square.svg',
 
   // Set the production url of your site here
   url: 'https://www.caesarverifier.org',

diff --git a/website/static/img/laurel-square.afdesign b/website/static/img/laurel-square.afdesign
diff --git a/website/static/img/laurel-square.svg b/website/static/img/laurel-square.svg