Normalize border-radius across classes

jacoco · Apr 8, 2024 · 58006bf · 58006bf
1 parent aaca79c
commit 58006bf
Showing 1 changed file with 5 additions and 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
@@ -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 {