From 3d685bb50b4bd45cf917d2986326af7a1cf45a6c Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Wed, 8 Mar 2023 15:48:52 +0100
Subject: [PATCH] Backport TestDox HTML improvements

---
 src/Util/TestDox/HtmlResultPrinter.php     | 11 +++++------
 tests/end-to-end/logging/testdox-html.phpt | 11 +++++------
 2 files changed, 10 insertions(+), 12 deletions(-)

diff --git a/src/Util/TestDox/HtmlResultPrinter.php b/src/Util/TestDox/HtmlResultPrinter.php
index 2dc3d75fbb7..776a83bd91a 100644
--- a/src/Util/TestDox/HtmlResultPrinter.php
+++ b/src/Util/TestDox/HtmlResultPrinter.php
@@ -29,6 +29,7 @@ final class HtmlResultPrinter extends ResultPrinter
         <style>
             body {
                 text-rendering: optimizeLegibility;
+                font-family: Source SansSerif Pro, Arial, sans-serif;
                 font-variant-ligatures: common-ligatures;
                 font-kerning: normal;
                 margin-left: 2rem;
@@ -37,23 +38,21 @@ final class HtmlResultPrinter extends ResultPrinter
             }
 
             body > ul > li {
-                font-family: Source Serif Pro, PT Sans, Trebuchet MS, Helvetica, Arial;
                 font-size: larger;
             }
 
             h2 {
-                font-family: Tahoma, Helvetica, Arial;
                 font-size: larger;
+                text-decoration-line: underline;
+                text-decoration-thickness: 2px;
                 margin: 0;
                 padding: 0.5rem 0;
             }
 
             ul {
                 list-style: none;
-                margin: 0;
-                padding: 0;
-                margin-bottom: 2rem;
-                padding-left: 1rem;
+                margin: 0 0 2rem;
+                padding: 0 0 0 1rem;
                 text-indent: -1rem;
             }
 
diff --git a/tests/end-to-end/logging/testdox-html.phpt b/tests/end-to-end/logging/testdox-html.phpt
index 470fcd1e594..9d880c73e6c 100644
--- a/tests/end-to-end/logging/testdox-html.phpt
+++ b/tests/end-to-end/logging/testdox-html.phpt
@@ -21,6 +21,7 @@ PHPUnit %s by Sebastian Bergmann and contributors.
         <style>
             body {
                 text-rendering: optimizeLegibility;
+                font-family: Source SansSerif Pro, Arial, sans-serif;
                 font-variant-ligatures: common-ligatures;
                 font-kerning: normal;
                 margin-left: 2rem;
@@ -29,23 +30,21 @@ PHPUnit %s by Sebastian Bergmann and contributors.
             }
 
             body > ul > li {
-                font-family: Source Serif Pro, PT Sans, Trebuchet MS, Helvetica, Arial;
                 font-size: larger;
             }
 
             h2 {
-                font-family: Tahoma, Helvetica, Arial;
                 font-size: larger;
+                text-decoration-line: underline;
+                text-decoration-thickness: 2px;
                 margin: 0;
                 padding: 0.5rem 0;
             }
 
             ul {
                 list-style: none;
-                margin: 0;
-                padding: 0;
-                margin-bottom: 2rem;
-                padding-left: 1rem;
+                margin: 0 0 2rem;
+                padding: 0 0 0 1rem;
                 text-indent: -1rem;
             }