diff --git a/doc/style.css b/doc/style.css
index 13a0e04ee4d..c53f93dd058 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -7,6 +7,9 @@ pre, code {
 	font-family: Menlo, monospace;
 	font-size: 14px;
 }
+pre {
+	line-height: 18px;
+}
 pre .comment {
 	color: #375EAB;
 }