From 4144aa1bd4809bb5656830dfa81a89ba249f52c4 Mon Sep 17 00:00:00 2001
From: Frans Bouma <frans@sd.nl>
Date: Wed, 2 Mar 2016 11:32:33 +0100
Subject: [PATCH] Fix in theme.css: pre inside li now has normal line height
 instead of the higher line height of li

---
 Themes/Default/Destination/css/theme.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Themes/Default/Destination/css/theme.css b/Themes/Default/Destination/css/theme.css
index ecc5f03..f1db55f 100644
--- a/Themes/Default/Destination/css/theme.css
+++ b/Themes/Default/Destination/css/theme.css
@@ -381,6 +381,10 @@ li {
 	line-height: 24px;
 }
 
+li pre {
+	line-height: normal;
+}
+
 mark {
 	font-style: italic;
 	font-weight: bold;