From aa8c6b499d2cadd905af1531d6084578181cb517 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vojt=C4=9Bch=20=C5=A0t=C4=9Bpan=C4=8D=C3=ADk?=
 <vojtechstepancik@outlook.com>
Date: Tue, 16 Apr 2024 13:39:57 +0200
Subject: [PATCH] Fix line height in lists (#1114)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

An issue discovered by @fredrik-bakke — code blocks in lists inherit
bigger line spacing, making the ASCII diagrams more stretched.

Compare
![20240416 133603
screen](https://github.com/UniMath/agda-unimath/assets/15523887/20ff88b2-a26b-4153-9ffe-0a892fee5376)
---
 theme/css/chrome.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theme/css/chrome.css b/theme/css/chrome.css
index 31b5856eb8..552400b9fa 100644
--- a/theme/css/chrome.css
+++ b/theme/css/chrome.css
@@ -277,6 +277,7 @@ pre > .buttons button {
 }
 pre > code {
   padding: 1rem;
+  line-height: normal;
 }
 
 /* FIXME: ACE editors overlap their buttons because ACE does absolute