From 58006bfcf304840f5844cd5206e30a482f69da85 Mon Sep 17 00:00:00 2001
From: Samuel Huang <samhuang91@gmail.com>
Date: Sun, 7 Apr 2024 22:32:07 -0700
Subject: [PATCH] Normalize border-radius across classes

---
 .../org/jacoco/report/internal/html/resources/report.css | 9 +++++----
 1 file changed, 5 insertions(+), 4 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
index 0a1453dc5..6741290a5 100644
--- 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
@@ -10,7 +10,8 @@ h1 {
 
 .breadcrumb {
   border:#d6d3ce 1px solid;
-  padding:2px 4px 2px 4px;
+  border-radius:5px;
+  padding:5px;
 }
 
 .breadcrumb .info {
@@ -79,10 +80,10 @@ h1 {
 
 pre.source {
   border:#d6d3ce 1px solid;
+  border-radius:5px;
   font-family:monospace;
-  background-color: #f6f8fa;
-  border-radius: 10px;
-  padding: 10px 0px;
+  background-color:#f6f8fa;
+  padding:10px 0px;
 }
 
 pre.source ol {