From dd6208ef2503b1b2f027812cbe5fd9f8bed9442c Mon Sep 17 00:00:00 2001
From: Mike Hearn <mike@r3cev.com>
Date: Fri, 11 Mar 2016 13:41:42 +0100
Subject: [PATCH] Docs: fix font size issue that's visible now I got myself a
 bigger monitor and changed the default font size in my browser

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

diff --git a/docs/source/_static/css/custom.css b/docs/source/_static/css/custom.css
index d4c211d508..2fd187f700 100644
--- a/docs/source/_static/css/custom.css
+++ b/docs/source/_static/css/custom.css
@@ -28,4 +28,8 @@
 
 .wy-nav-content {
     max-width: 1000px;
+}
+
+p {
+    font-size: 100%; /* Get rid of RTD rule that assumes nobody changes their browser font size */
 }
\ No newline at end of file