From f530191f307849338d1ec20b662167467a0805f8 Mon Sep 17 00:00:00 2001
From: hellerve <veit@veitheller.de>
Date: Tue, 22 Oct 2019 14:19:44 +0200
Subject: [PATCH] box sizing style (thanks @hugurp)

---
 index.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/index.html b/index.html
index 2b64afd..9eb4768 100644
--- a/index.html
+++ b/index.html
@@ -13,6 +13,12 @@
         font-weight: normal;
         font-style: normal;
       }
+      html {
+        box-sizing: border-box;
+      }
+      *, *:before, *:after {
+        box-sizing: inherit;
+      }
       body {
         font-family: 'charterregular', Georgia, serif;
         font-size: 18px;