From f2536c5a98efeea98a0ffd731698f5a55d45fce2 Mon Sep 17 00:00:00 2001
From: Fen Dweller <chemicalcrux@gmail.com>
Date: Sat, 21 Dec 2019 17:29:26 -0500
Subject: [PATCH] Fix headers moving a tiny bit when turned on; give them
 rounded corners

---
 style.css | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/style.css b/style.css
index 65eac7b..00c867a 100644
--- a/style.css
+++ b/style.css
@@ -58,7 +58,7 @@ body.dark div {
 
 @media (max-aspect-ratio: 1/1){
   .game-area {
-    width: 100%
+    width: 100%;
     height: 60%;
   }
   #stat-container {
@@ -390,7 +390,7 @@ body.dark .custom-header-static {
   display: inline-block;
   border-style: dotted;
   border-width: 1px;
-  border-length: 5px;
+  border-radius: 5px;
 }
 
 .custom-category-sub .custom-header {
@@ -422,7 +422,6 @@ body.light input[type="checkbox"]:checked+
 .custom-header {
   color: #000;
   border-style: solid;
-  margin: 10px;
   background-color: rgba(230, 230, 230, 0.3);
 }
 
@@ -430,7 +429,6 @@ body.dark input[type="checkbox"]:checked+
 .custom-header {
   color: #fff;
   border-style: solid;
-  margin: 10px;
   background-color: rgba(0, 0, 0, 0.3);
 }