Fossil SCM

Doc typos.

stephan 2021-09-09 18:31 diff-js-refactoring
Commit fa654e947aa5f0f369d6ace4446ca447789512e78b67f440dbb671901adcaa75
1 file changed +5 -4
+5 -4
--- src/default.css
+++ src/default.css
@@ -576,20 +576,21 @@
576576
border-width: 1px;
577577
border-color: rgba(0,0,0,0);
578578
border-radius: 0.5em;
579579
}
580580
tr.diffskip > td.chunkctrl > div > .button > span {
581
- /* In order to increase the glyph size w/o increasing the button size,
582
- we need an extra layer of DOM element for the glyph. */
581
+ /* In order to increase the glyph size w/o increasing the em-based
582
+ button size or border-radius, we need an extra layer of DOM
583
+ element for the glyph. */
583584
font-size: 150%;
584585
}
585586
tr.diffskip > td.chunkctrl > div > .button.up:not(.down){
586
- /* Simulate an error pointing up */
587
+ /* Simulate an arrow pointing up */
587588
border-radius: 3em 3em 0.25em 0.25em;
588589
}
589590
tr.diffskip > td.chunkctrl > div > .button.down:not(.up){
590
- /* Simulate an error pointing down */
591
+ /* Simulate an arrow pointing down */
591592
border-radius: 0.25em 0.25em 3em 3em;
592593
}
593594
tr.diffskip > td.chunkctrl > div > .button:hover {
594595
border-color: rgba(0,0,0,1);
595596
cursor: pointer;
596597
--- src/default.css
+++ src/default.css
@@ -576,20 +576,21 @@
576 border-width: 1px;
577 border-color: rgba(0,0,0,0);
578 border-radius: 0.5em;
579 }
580 tr.diffskip > td.chunkctrl > div > .button > span {
581 /* In order to increase the glyph size w/o increasing the button size,
582 we need an extra layer of DOM element for the glyph. */
 
583 font-size: 150%;
584 }
585 tr.diffskip > td.chunkctrl > div > .button.up:not(.down){
586 /* Simulate an error pointing up */
587 border-radius: 3em 3em 0.25em 0.25em;
588 }
589 tr.diffskip > td.chunkctrl > div > .button.down:not(.up){
590 /* Simulate an error pointing down */
591 border-radius: 0.25em 0.25em 3em 3em;
592 }
593 tr.diffskip > td.chunkctrl > div > .button:hover {
594 border-color: rgba(0,0,0,1);
595 cursor: pointer;
596
--- src/default.css
+++ src/default.css
@@ -576,20 +576,21 @@
576 border-width: 1px;
577 border-color: rgba(0,0,0,0);
578 border-radius: 0.5em;
579 }
580 tr.diffskip > td.chunkctrl > div > .button > span {
581 /* In order to increase the glyph size w/o increasing the em-based
582 button size or border-radius, we need an extra layer of DOM
583 element for the glyph. */
584 font-size: 150%;
585 }
586 tr.diffskip > td.chunkctrl > div > .button.up:not(.down){
587 /* Simulate an arrow pointing up */
588 border-radius: 3em 3em 0.25em 0.25em;
589 }
590 tr.diffskip > td.chunkctrl > div > .button.down:not(.up){
591 /* Simulate an arrow pointing down */
592 border-radius: 0.25em 0.25em 3em 3em;
593 }
594 tr.diffskip > td.chunkctrl > div > .button:hover {
595 border-color: rgba(0,0,0,1);
596 cursor: pointer;
597

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button