From d63f1ad3aadb8569a8dda2437d9b1da57282e9c0 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Sat, 24 Feb 2024 14:09:24 +0100
Subject: [PATCH] Border is not needed

---
 webapp/public/style_domjudge.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/webapp/public/style_domjudge.css b/webapp/public/style_domjudge.css
index 1eceb4c0cd..dc1754cdd9 100644
--- a/webapp/public/style_domjudge.css
+++ b/webapp/public/style_domjudge.css
@@ -669,7 +669,8 @@ blockquote {
         bottom: 0;
         box-shadow: 0 -1px 0 0 black,
                     0  1px 0 0 black;
-        border: 1px 0 1px 0;
+        /*border-bottom: 1px solid black;
+        border-top: 1px solid black;*/
         background: var(--background-color);
     }