Differences From Artifact [6d25944e58]:

• File src/default.css — part of check-in [f0984389ba] at 2021-09-09 20:03:55 on branch diff-js-refactoring — Style improvements. Hooked up the buttons but they don't yet fetch anything. (user: stephan size: 44934) [more...]

To Artifact [1b732ada55]:

• File src/default.css — part of check-in [da8a0f82b5] at 2021-09-09 21:36:19 on branch diff-js-refactoring — Implemented fetching and injection of chunks which are smaller than the configured load size, but the results do not play well with our scrolling workaround and need to be revisited after some sleep, perhaps appending/prepending the results directly to the previous/next TR instead of injecting a new one. (user: stephan size: 44976)

542
543
544
545
546
547
548



549
550
551
552
553
554
555

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



}
tr.diffskip.jchunk {
  /* 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: aliceblue;
  padding: 0;

>
>
>

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

  padding: 0 0.25em 0 0.5em;
}
table.diff td {
  vertical-align: top;
}
table.diff pre {
  margin: 0 0 0 0;
}
table.diff tr.fetched {
  opacity: 0.7;
}
tr.diffskip.jchunk {
  /* 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: aliceblue;
  padding: 0;