From fd7f8824ee3ead10dd17f8b37a430ffc421c9360 Mon Sep 17 00:00:00 2001
From: Puyo <15311104+daniel11420@users.noreply.github.com>
Date: Tue, 11 May 2021 21:34:45 +0200
Subject: [PATCH] Update header.html

---
 docs/_includes/header.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 8a4a261..14b5771 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -15,6 +15,10 @@
   background-color: #777;
   color: white;
 }
+  
+hr {
+  height: 2px !important;
+}
 </style>
 <p id="HtmlIsTheWorstThingIHaveEverUsed">
   <a class="headerlink" href="{{site.url}}">Readme</a>