From 92774c6e1015ad4a60976bf80424c6bdfa8e3694 Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@outlook.com>
Date: Thu, 6 Nov 2025 20:54:42 +0100
Subject: [PATCH] Add more CSS vars, improving log window height calculation

---
 src/serena/resources/dashboard/dashboard.css | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/src/serena/resources/dashboard/dashboard.css b/src/serena/resources/dashboard/dashboard.css
index e7db55f6..8795b895 100644
--- a/src/serena/resources/dashboard/dashboard.css
+++ b/src/serena/resources/dashboard/dashboard.css
@@ -22,6 +22,10 @@ html {
     --log-error: #FF0000;
     --stats-header: #f8f9fa;
     --header-height: 150px;
+    --header-padding: 20px;
+    --header-gap-main: 25px;
+    --frame-padding: 25px;
+    --border-radius: 5px;
 }
 
 [data-theme="dark"] {
@@ -56,13 +60,13 @@ body {
 #frame {
     max-width: 1600px;
     margin: 0 auto;
-    padding: 25px;
+    padding: var(--frame-padding);
     padding-top: 0;
     min-width: 1280px;
 }
 
 .main {
-    padding-top: 25px;
+    padding-top: var(--header-gap-main);
 }
 
 .header {
@@ -72,7 +76,9 @@ body {
     height: var(--header-height);
     background-color: var(--bg-secondary);
     border-bottom: 1px solid var(--border-color);
-    padding: 20px 20px;
+    border-bottom-left-radius: var(--border-radius);
+    border-bottom-right-radius: var(--border-radius);
+    padding: var(--header-padding);
     display: flex;
     justify-content: space-between;
     align-items: center;
@@ -207,9 +213,6 @@ body {
     position: relative;
     align-items: center;
     justify-content: center;
-    background-color: var(--bg-secondary);
-    border: 1px solid var(--border-color);
-    border-radius: 5px;
     padding: 0;
 }
 
@@ -262,7 +265,7 @@ body {
 .projects-section {
     background-color: var(--bg-secondary);
     border: 1px solid var(--border-color);
-    border-radius: 5px;
+    border-radius: var(--border-radius);
     padding: 20px;
     margin-bottom: 20px;
     transition: background-color 0.3s ease, border-color 0.3s ease;
@@ -668,7 +671,7 @@ body {
     background-color: var(--bg-secondary);
     border: 1px solid var(--border-color);
     border-radius: 5px;
-    height: calc(100vh - 260px);
+    height: calc(100vh - var(--header-height) - 2 * var(--header-padding) - 3 * var(--header-gap-main));
     max-height: 700px;
     overflow-y: auto;
     overflow-x: auto;