[readme] Compute 1.3em correctly for height of Inria logo.

Font size in h1 is 32px.
ejgallego · Nov 24, 2023 · a849ddb · a849ddb
1 parent 275c55c
commit a849ddb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]