From 1965996933533e02b1bd6e029432502eec024a4d Mon Sep 17 00:00:00 2001
From: Jeremy Ashkenas <jashkenas@gmail.com>
Date: Mon, 18 Sep 2017 14:06:45 -0400
Subject: [PATCH] slightly less cramped code

---
 docs/v2/index.html          | 4 ++++
 documentation/site/docs.css | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/docs/v2/index.html b/docs/v2/index.html
index 9ef41e3b..9673df10 100644
--- a/docs/v2/index.html
+++ b/docs/v2/index.html
@@ -294,6 +294,10 @@ textarea {
   height: 1em;
 }
 
+.CodeMirror pre {
+  line-height: 1.4em;
+}
+
 .CodeMirror,
 .placeholder-code {
   /* https://codemirror.net/demo/resize.html */
diff --git a/documentation/site/docs.css b/documentation/site/docs.css
index 5bb4dadd..5e09ddc7 100644
--- a/documentation/site/docs.css
+++ b/documentation/site/docs.css
@@ -274,6 +274,10 @@ textarea {
   height: 1em;
 }
 
+.CodeMirror pre {
+  line-height: 1.4em;
+}
+
 .CodeMirror,
 .placeholder-code {
   /* https://codemirror.net/demo/resize.html */