improve logo display

lindy-labs · Nov 13, 2023 · 8147086 · 8147086
1 parent c17a28c
commit 8147086
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,5 @@
-<img src="./images/logo_white.png" alt="" width="500" >
+![Aegis logo](./images/logo_dark.png#gh-light-mode-only)
+![Aegis logo](./images/logo_white.png#gh-dark-mode-only)
 
 Aegis is a tool for the verification of Cairo code.