From 4a0589bc2c4b091824ecb757f524e6449afbacf3 Mon Sep 17 00:00:00 2001
From: tarikjaber <55803936+tarikjaber@users.noreply.github.com>
Date: Thu, 6 Apr 2023 19:22:57 -0400
Subject: [PATCH] Fix some border issues

---
 styles.css | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/styles.css b/styles.css
index 1d13a7c..4792ad5 100644
--- a/styles.css
+++ b/styles.css
@@ -88,25 +88,24 @@ pre {
 
 #code-container {
   margin: 0;
-  border-radius: 5px;
   max-width: 100%;
 }
 
 #code-container .code-line:first-of-type .line-number {
-  padding-top: 11px;
+  padding-top: calc(10px + var(--border-thickness));
 }
 
 #code-container .code-line:last-of-type .line-number {
-  padding-bottom: 11px;
+  padding-bottom: calc(10px + var(--border-thickness));
 }
 
 #code-container .code-line:first-of-type #code {
-  padding-top: 10px;
+  padding-top: calc(10px + var(--border-thickness));
   border-top: var(--border-thickness) solid #c9d1d9;
 }
 
 #code-container .code-line:last-of-type #code {
-  padding-bottom: 10px;
+  padding-bottom: calc(10px + var(--border-thickness));
   border-bottom: var(--border-thickness) solid #c9d1d9;
 }