From a849ddbeba06c74dd4e8e7c68865ed84744926d6 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Fri, 24 Nov 2023 20:42:32 +0100
Subject: [PATCH] [readme] Compute 1.3em correctly for height of Inria logo.

Font size in h1 is 32px.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index ff3517a77..cec8e7363 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Coq LSP <img align="right" height="20" src="./etc/img/inria-logo.png"/>  <!-- omit in toc -->
+# Coq LSP <img align="right" height="42" src="./etc/img/inria-logo.png"/>  <!-- omit in toc -->
 
 [![Github CI][ci-badge]][ci-link]