From 3d0e37d152c42c3866f872fb5346089f9783714e Mon Sep 17 00:00:00 2001
From: Ivan Blinkov <ivan@blinkov.ru>
Date: Fri, 23 Jun 2017 12:30:16 +0300
Subject: [PATCH] Slightly larger line height

---
 docs/_static/custom.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index d8bc77b763b..bfbbd6634a7 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -4,6 +4,9 @@ div.document, div.footer {
 div.sphinxsidebarwrapper {
 	padding: 2px 10px;
 }
+div.body dd, div.body li, div.body p {
+    line-height: 1.6em;
+}
 
 div.sphinxsidebarwrapper p.logo {
     float: left;