Fossil

Check-in [fa654e947a]
Login

Check-in [fa654e947a]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Doc typos.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | diff-js-refactoring
Files: files | file ages | folders
SHA3-256: fa654e947aa5f0f369d6ace4446ca447789512e78b67f440dbb671901adcaa75
User & Date: stephan 2021-09-09 18:31:54.585
Context
2021-09-09
18:50
More jchunk button style tweaks. ... (check-in: 7cc651c87f user: stephan tags: diff-js-refactoring)
18:31
Doc typos. ... (check-in: fa654e947a user: stephan tags: diff-js-refactoring)
18:28
Got jchunk loader buttons in place but they're currently non-functional. ... (check-in: 365ef58b8c user: stephan tags: diff-js-refactoring)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/default.css.
︙︙
574
575
576
577
578
579
580
581

582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597

  background-color: rgba(127,127,127,0.3);
  border-style: outset;
  border-width: 1px;
  border-color: rgba(0,0,0,0);
  border-radius: 0.5em;
}
tr.diffskip > td.chunkctrl > div > .button > span {
  /* In order to increase the glyph size w/o increasing the button size,

     we need an extra layer of DOM element for the glyph. */
  font-size: 150%;
}
tr.diffskip > td.chunkctrl > div > .button.up:not(.down){
  /* Simulate an error pointing up */
  border-radius: 3em 3em 0.25em 0.25em;
}
tr.diffskip > td.chunkctrl > div > .button.down:not(.up){
  /* Simulate an error pointing down */
  border-radius: 0.25em 0.25em 3em 3em;
}
tr.diffskip > td.chunkctrl > div > .button:hover {
  border-color: rgba(0,0,0,1);
  cursor: pointer;
}
td.diffln {








|
>
|



|



|








574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598

  background-color: rgba(127,127,127,0.3);
  border-style: outset;
  border-width: 1px;
  border-color: rgba(0,0,0,0);
  border-radius: 0.5em;
}
tr.diffskip > td.chunkctrl > div > .button > span {
  /* In order to increase the glyph size w/o increasing the em-based
     button size or border-radius, we need an extra layer of DOM
     element for the glyph. */
  font-size: 150%;
}
tr.diffskip > td.chunkctrl > div > .button.up:not(.down){
  /* Simulate an arrow pointing up */
  border-radius: 3em 3em 0.25em 0.25em;
}
tr.diffskip > td.chunkctrl > div > .button.down:not(.up){
  /* Simulate an arrow pointing down */
  border-radius: 0.25em 0.25em 3em 3em;
}
tr.diffskip > td.chunkctrl > div > .button:hover {
  border-color: rgba(0,0,0,1);
  cursor: pointer;
}
td.diffln {
︙︙