From 8147086647a93cf206ddb9104e7e6c7b9d812dbe Mon Sep 17 00:00:00 2001
From: Jakob von Raumer <jakob@von-raumer.de>
Date: Mon, 13 Nov 2023 15:50:58 +0100
Subject: [PATCH] improve logo display

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 57839a2..396cfc9 100644
--- 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.