Differences From Artifact [e906527c17]:

• File src/default.css — part of check-in [860f8f252c] at 2021-09-11 05:10:34 on branch diff-js-refactoring — Several CSS tweaks to get the skins playing nicely. We still have some weird, as-yet unexplained quirks with Darkmode, Bootstrap, and Xekri (forced tables sizes are not being applied, or are inconsistent, despite styles being set). (user: stephan size: 44984)

To Artifact [e8fe6470f2]:

• File src/default.css — part of check-in [3480785e39] at 2021-09-11 07:36:15 on branch diff-js-refactoring — Worked around, rather accidentally, the Darkmode and Xekri skin weirdness - side effects of padding. Bootstrap is still a bit funky, depending at least partially on which media query is currently active. (user: stephan size: 45275)

535
536
537
538
539
540
541



542

543
544
545


546
547
548








549
550
551
552
553
554
555

/* Rules governing diff layout and colors */
table.diff {
  width: 100%;
  border-spacing: 0;
  border: 1px solid black;
}
table.diff td.diffln{



  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. */
  background-color: aliceblue;
  padding: 0;
}

>
>
>

>



>
>



>
>
>
>
>
>
>
>

535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569

/* Rules governing diff layout and colors */
table.diff {
  width: 100%;
  border-spacing: 0;
  border: 1px solid black;
}
table.diff td.diffln{
  padding: 0;
}
table.diff td.diffln > pre{
  padding: 0 0.25em 0 0.5em;
  margin: 0;
}
table.diff td {
  vertical-align: top;
  padding: 0;
  overflow: hidden /*work around inner PRE slight overflow/overlap*/;
}
table.diff pre {
  margin: 0 0 0 0;
  padding: 0 0.5em;
}
table.diff td.diffln > pre {
  padding: 0 0.35em 0 0.5em;
}
table.diff td.difftxt > pre {
  min-width: 100%;
  max-width: 100%;
}
tr.diffskip.jchunk {
  /* jchunk gets added from JS to diffskip rows when they are
     plugged into the /jchunk route. */
  background-color: aliceblue;
  padding: 0;
}