From 3a728d1452062c3eb403739331676ccdfa1d183f Mon Sep 17 00:00:00 2001
From: Inaki Fernandez <inafev@gmail.com>
Date: Fri, 29 May 2020 03:02:38 +0200
Subject: [PATCH] font-size increased

---
 docs/static/extra.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/static/extra.css b/docs/static/extra.css
index 9f285caa..3da89801 100644
--- a/docs/static/extra.css
+++ b/docs/static/extra.css
@@ -5,7 +5,7 @@ body {
   margin: 25px;
   background-color:rgb(240,240,240);
   font-family: arial, sans-serif;
-  font-size: 14px;
+  font-size: 18px;
 }
 
 /* Applies to all <h1>...</h1> elements. */