From 45fc499a911e423f859308550e8037ace1a8b373 Mon Sep 17 00:00:00 2001
From: Jannis <jvajen@gmail.com>
Date: Tue, 7 Nov 2017 09:55:20 +0100
Subject: [PATCH] Make h1 distinguishable from h2 (#4522)

---
 doc_src/user_doc.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css
index bdbc1a54a..f514892c2 100644
--- a/doc_src/user_doc.css
+++ b/doc_src/user_doc.css
@@ -105,7 +105,7 @@ h1, h2, h3, h4, h5, h6 {
 h1 {
     margin: 1.6rem 0 1rem 0;
     font-weight: 700;
-    font-size: 1.7rem;
+    font-size: 2.5rem;
 }
 h2 {
     margin: 1.6rem 0 1rem 0;