Align first two columns left

robin-aws · Nov 13, 2023 · 98349d4 · 98349d4
1 parent ebf14d1
commit 98349d4
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/Source/DafnyDriver/CoverageReporter.cs b/Source/DafnyDriver/CoverageReporter.cs
@@ -196,7 +196,10 @@ private void SerializeCoverageReports(List<CoverageReport> reports, string repor
 
  private string MakeIndexFileTableRow(List<object> row) {
  var result = new StringBuilder("<tr>\n");
- foreach (var cell in row) {
+ foreach (var cell in row.Take(2)) {
+ result.Append($"\t<td class=\"name\">{cell}</td>\n");
+ }
+ foreach (var cell in row.Skip(2)) {
  result.Append($"\t<td class=\"ctr2\">{cell}</td>\n");
  }
  result.Append("</tr>\n");

diff --git a/Source/DafnyDriver/assets/.resources/coverage.css b/Source/DafnyDriver/assets/.resources/coverage.css
@@ -49,6 +49,11 @@ table.coverage thead td {
  border-bottom:#b0b0b0 1px solid;
 }
 
+table.coverage thead td.name {
+ text-align:left;
+ padding-left:2px;
+}
+
 table.coverage thead td.ctr2 {
  text-align:right;
  padding-left:2px;
@@ -64,6 +69,12 @@ table.coverage tbody tr:hover {
  background: #f0f0d0 !important;
 }
 
+table.coverage tbody td.name {
+ text-align:left;
+ padding-right:14px;
+ padding-left:2px;
+}
+
 table.coverage tbody td.ctr2 {
  text-align:right;
  padding-right:14px;