Differences From Artifact [c787f81832]:

• File src/default.css — part of check-in [f25a987bae] at 2021-09-05 19:31:42 on branch trunk — Added just a tiny bit of left/right padding on the new diff tables so that the line numbers don't run right up to the edge of the border. (user: stephan size: 43073)

To Artifact [9094f0a7ac]:

• File src/default.css — part of check-in [fd7d2557aa] at 2021-09-08 02:43:40 on branch diff-js-refactoring — Minor tweaks in the diff-related JS and CSS. (user: stephan size: 43074)

530
531
532
533
534
535
536
537

538
539
540
541
542
543
544

530
531
532
533
534
535
536

537
538
539
540
541
542
543
544

-
+

}
ul.filelist li {
  padding-top: 1px;
}

/* Rules governing diff layout and colors */
table.diff {
  width: 98%;
  width: 100%;
  border-spacing: 0;
  border: 1px solid black;
  padding: 0 0.5em;
}
table.diff td {
  vertical-align: top;
}