Backport TestDox HTML improvements

Author: sebastianbergmann

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;
             }
 

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;
             }