From c7d52b0a50f5eb8e59fb0149c61cc82060a92784 Mon Sep 17 00:00:00 2001
From: David Neugebauer <David.Neugebauer@gmx.de>
Date: Mon, 29 Jun 2026 11:01:34 +0200
Subject: [PATCH 1/3] added dark theme for html reporter

---
 .../html/src/main/resources/css/report.css    | 64 ++++++++++++++++++-
 1 file changed, 63 insertions(+), 1 deletion(-)

diff --git a/reporter/html/src/main/resources/css/report.css b/reporter/html/src/main/resources/css/report.css
index 614685989..31b64ee3d 100644
--- a/reporter/html/src/main/resources/css/report.css
+++ b/reporter/html/src/main/resources/css/report.css
@@ -2,7 +2,11 @@
   font-family: helvetica, arial;
 }
 
-html { scroll-padding-top: 2.5em; }
+html {
+  color: black;
+  background-color: white;
+  scroll-padding-top: 2.5em;
+}
 
 nav {
   width: 100%;
@@ -138,3 +142,61 @@ summary .title {
 .sitem p.origin {
   padding-left: 0.5em;
 }
+
+
+@media (prefers-color-scheme: dark) {
+  html {
+    color: lightgrey;
+    background-color: #181818;
+  }
+
+  nav {
+    background-color: #303030;
+    border-bottom: 1px solid grey;
+  }
+
+  a {
+    color: #423ce5;
+  }
+
+  a:visited {
+    color: #8638b5;
+  }
+
+  del, ins, .red {
+    color: firebrick;
+  }
+
+  .green {
+    color: green;
+  }
+  .sitem {
+    border-left: 2px solid #606060;
+  }
+  .sitem pre {
+    /* todo */
+    background: #282828;
+  }
+  .artifact {
+    /* todo */
+    background: dimgrey;
+    color: white;
+  }
+  .tag {
+    /* todo */
+    border: 1px solid black;
+  }
+  small {
+    /* todo */
+    color: dimgrey;
+  }
+  summary .title {
+    /* todo */
+    color: lightgrey;
+  }
+  .id {
+     /* todo */
+    color: dimgrey;
+    border-top: 1px solid lightgrey;
+  }
+}

From ac1932b3997c826e95870865d3df33b33f148bd6 Mon Sep 17 00:00:00 2001
From: "David N." <David.Neugebauer@gmx.de>
Date: Fri, 10 Jul 2026 22:03:11 +0200
Subject: [PATCH 2/3] Apply suggestions from code review
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Sebastian Bär <sebastian.baer@exasol.com>
---
 reporter/html/src/main/resources/css/report.css | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/reporter/html/src/main/resources/css/report.css b/reporter/html/src/main/resources/css/report.css
index 31b64ee3d..f55e0be5a 100644
--- a/reporter/html/src/main/resources/css/report.css
+++ b/reporter/html/src/main/resources/css/report.css
@@ -146,17 +146,18 @@ summary .title {
 
 @media (prefers-color-scheme: dark) {
   html {
-    color: lightgrey;
+    color: #dddddd;
     background-color: #181818;
   }
 
   nav {
     background-color: #303030;
+    color: white;
     border-bottom: 1px solid grey;
   }
 
   a {
-    color: #423ce5;
+    color: dodgerblue;
   }
 
   a:visited {
@@ -164,11 +165,11 @@ summary .title {
   }
 
   del, ins, .red {
-    color: firebrick;
+    color: tomato;
   }
 
   .green {
-    color: green;
+    color: lightgreen;
   }
   .sitem {
     border-left: 2px solid #606060;
@@ -188,7 +189,7 @@ summary .title {
   }
   small {
     /* todo */
-    color: dimgrey;
+    color: darkgrey;
   }
   summary .title {
     /* todo */
@@ -196,7 +197,7 @@ summary .title {
   }
   .id {
      /* todo */
-    color: dimgrey;
+    color: darkgrey;
     border-top: 1px solid lightgrey;
   }
 }

From 1ee5618b987bb5ba933e13f89fc4992c7f1e0057 Mon Sep 17 00:00:00 2001
From: David Neugebauer <David.Neugebauer@gmx.de>
Date: Sat, 11 Jul 2026 11:41:35 +0200
Subject: [PATCH 3/3] remove todo markers

---
 reporter/html/src/main/resources/css/report.css | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/reporter/html/src/main/resources/css/report.css b/reporter/html/src/main/resources/css/report.css
index f55e0be5a..b279dc80a 100644
--- a/reporter/html/src/main/resources/css/report.css
+++ b/reporter/html/src/main/resources/css/report.css
@@ -175,28 +175,22 @@ summary .title {
     border-left: 2px solid #606060;
   }
   .sitem pre {
-    /* todo */
     background: #282828;
   }
   .artifact {
-    /* todo */
     background: dimgrey;
     color: white;
   }
   .tag {
-    /* todo */
     border: 1px solid black;
   }
   small {
-    /* todo */
     color: darkgrey;
   }
   summary .title {
-    /* todo */
     color: lightgrey;
   }
   .id {
-     /* todo */
     color: darkgrey;
     border-top: 1px solid lightgrey;
   }