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] 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;