diff --git a/doc/img/edoxy.css b/doc/img/edoxy.css
index ace425bbb5..c4d5f146fa 100644
--- a/doc/img/edoxy.css
+++ b/doc/img/edoxy.css
@@ -115,6 +115,7 @@ DIV.fragment {
 	padding-right: 2px;
 	padding-top: 2px;
 	padding-bottom: 2px;
+	line-height: 70%;
 }
 PRE.fragment {
         font-family: monospace, fixed;