Fossil

Differences From 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)

To Artifact [9676bb6870]:

• File src/default.css — part of check-in [41ef416e77] at 2021-09-09 03:23:51 on branch diff-js-refactoring — Fetching of /jchunk lines by clicking on the '...' separator of a diff is now working but the fetched lines still need to be integrated into the UI. (user: stephan size: 43311)

540
541
542
543
544
545
546







547
548
549
550
551
552
553

  padding: 0 0.5em;
}
table.diff td {
  vertical-align: top;
}
table.diff pre {
  margin: 0 0 0 0;







}
td.diffln {
  width: 1px;
  text-align: right;
  padding: 0 1em 0 0;
}
td.difflne {

>
>
>
>
>
>
>

540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560

  padding: 0 0.5em;
}
table.diff td {
  vertical-align: top;
}
table.diff pre {
  margin: 0 0 0 0;
}
tr.diffskip.jchunk:hover {
  /* jchunk gets added from JS to diffskip rows when they are
     plugged into the /jchunk route and removed after that data
     is fetched. */
  background-color: rgba(127,127,127,0.5);
  cursor: pointer;
}
td.diffln {
  width: 1px;
  text-align: right;
  padding: 0 1em 0 0;
}
td.difflne {