From b2bdf471f096b7c1d7a83fe4c00a856389b1ae6f Mon Sep 17 00:00:00 2001
From: sfja <sfja2004@gmail.com>
Date: Mon, 16 Dec 2024 22:07:16 +0100
Subject: [PATCH] add space for buttons

---
 web/public/src/index.ts | 1 +
 web/public/style.css    | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/web/public/src/index.ts b/web/public/src/index.ts
index 0ca2e85..7d2ded7 100644
--- a/web/public/src/index.ts
+++ b/web/public/src/index.ts
@@ -82,6 +82,7 @@ async function codeCoverage(view: Element, codeData: string) {
 
     const outerContainer = document.createElement("div");
     outerContainer.classList.add("code-container");
+    outerContainer.classList.add("code-coverage");
 
     const innerContainer = document.createElement("div");
     innerContainer.classList.add("code-container-inner");
diff --git a/web/public/style.css b/web/public/style.css
index a3769da..d797a17 100644
--- a/web/public/style.css
+++ b/web/public/style.css
@@ -104,6 +104,10 @@ main #cover {
     border-radius: 0.5rem;
 }
 
+#view .code-container.code-coverage {
+    max-height: calc(100% - 103px);
+}
+
 #view .code-container-inner {
     display: flex;
     font-size: 1rem;
@@ -166,7 +170,7 @@ main #cover {
     display: flex;
     justify-content: center;
     flex: 1;
-    padding: 2rem;
+    padding: 2rem 0.5rem;
     max-width: max-content;
 }