From 83fcbbe08f102bb63e3132ba8b4dffe1d747e61f Mon Sep 17 00:00:00 2001
From: olebeck <31539311+olebeck@users.noreply.github.com>
Date: Mon, 10 Oct 2022 02:41:11 +0200
Subject: [PATCH 1/2] make devtoollist properly center itself

---
 style.css | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 28a3c7c..c4ec249 100755
--- a/style.css
+++ b/style.css
@@ -318,7 +318,9 @@
   */
   
   .devtoollist{
-      position: inherit;
+      margin-left: auto;
+      margin-right: auto;
+      position: relative;
       margin-left: 15%; 
       margin-right: 15%;
       text-align:center;

From c091419bd367a73eabfe7bb93da424eda21249d0 Mon Sep 17 00:00:00 2001
From: olebeck <31539311+olebeck@users.noreply.github.com>
Date: Mon, 10 Oct 2022 02:42:04 +0200
Subject: [PATCH 2/2] nvm half of that was useless

---
 style.css | 2 --
 1 file changed, 2 deletions(-)

diff --git a/style.css b/style.css
index c4ec249..871ca83 100755
--- a/style.css
+++ b/style.css
@@ -318,8 +318,6 @@
   */
   
   .devtoollist{
-      margin-left: auto;
-      margin-right: auto;
       position: relative;
       margin-left: 15%; 
       margin-right: 15%;