From c016418fc9f2343f5bcefe3183405e281b54447f Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Mon, 10 Feb 2020 07:08:35 +0200
Subject: [PATCH] Make main text font-size bigger. (#222)

---
 docs/extra.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/extra.css b/docs/extra.css
index b92fc8d..ad7c28e 100644
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -2,14 +2,17 @@ body,
 input {
     color: #000;
 }
+
 .md-nav {
     font-size: 14px;
     line-height: 1.4;
 }
+
 .md-typeset {
-    font-size: 14px;
+    font-size: .7rem;
     line-height: 1.5;
 }
+
 .md-typeset code,
 .md-typeset pre {
     white-space: pre-wrap;