Change pre.source styling slightly

jacoco · Apr 8, 2024 · aaca79c · aaca79c
1 parent cb84b21
commit aaca79c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/org.jacoco.report/src/org/jacoco/report/internal/html/resources/report.css b/org.jacoco.report/src/org/jacoco/report/internal/html/resources/report.css
@@ -80,9 +80,9 @@ h1 {
 pre.source {
   border:#d6d3ce 1px solid;
   font-family:monospace;
-  background-color: #f3f3f3;
-  border-radius: 20px;
-  padding: 10px;
+  background-color: #f6f8fa;
+  border-radius: 10px;
+  padding: 10px 0px;
 }
 
 pre.source ol {