Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | diff CSS: more fine-tuning of line-height and INS/DEL padding to account for another browser and fill in the gaps of color caused by the inflated line-height. Work around a "slight wiggle" problem on some FF versions. Minor simplification of some nearby CSS. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
1e28e74720547d0a7b3881b9a62ece14 |
| User & Date: | stephan 2021-09-13 21:08:12.335 |
Context
|
2021-09-13
| ||
| 21:30 | Fix typo. ... (check-in: 1e5dc324ef user: mistachkin tags: trunk) | |
| 21:08 | diff CSS: more fine-tuning of line-height and INS/DEL padding to account for another browser and fill in the gaps of color caused by the inflated line-height. Work around a "slight wiggle" problem on some FF versions. Minor simplification of some nearby CSS. ... (check-in: 1e28e74720 user: stephan tags: trunk) | |
| 19:59 | skins: replaced CSS attributes prefixed with old/obsolete/non-standard -moz/-ms/-mx/-webkit with their standard counterparts. ... (check-in: 9386c4c069 user: stephan tags: trunk) | |
Changes
Changes to src/default.css.
| ︙ | ︙ | |||
551 552 553 554 555 556 557 |
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;
| < | > > > > > > > > > > > > > > > > > > > | 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 |
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;
line-height: 1.225/*for mobile: forum post e6f4ee7de98b55c0*/;
}
table.diff pre > ins,
table.diff pre > del {
/* Fill platform-dependent color gaps caused by
inflated line-height */;
padding: 0.062em 0 0.062em 0;
}
table.diff pre > ins > *,
table.diff pre > del > *{
/* Avoid odd-looking color swatches in conjunction with
(table.diff pre > ins/del) padding */
padding: inherit;
}
table.diff td.diffln > pre {
padding: 0 0.35em 0 0.5em;
}
table.diff td.difftxt > pre {
min-width: 100%;
max-width: 100%;
}
table.diff td > pre {
/* Workaround for "slight wiggle" when using mouse-wheel in some FF
versions, apparently caused by the increased line-height forcing
these elements to be a *tick* larger than they should be but not
large enough to force a scroll bar to show up. */
overflow-y: hidden;
}
tr.diffskip.jchunk {
/* jchunk gets added from JS to diffskip rows when they are
plugged into the /jchunk route. */
background-color: aliceblue;
padding: 0;
}
|
| ︙ | ︙ | |||
610 611 612 613 614 615 616 |
}
tr.diffskip > td.chunkctrl .jcbutton > 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%;
}
| | | | 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 |
}
tr.diffskip > td.chunkctrl .jcbutton > 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 .jcbutton.up > span::before {
content: '⇡';
}
tr.diffskip > td.chunkctrl .jcbutton.down > span::before {
content: '⇣';
}
tr.diffskip > td.chunkctrl .jcbutton.up.down > span::before {
content: '⇡⇣';
}
tr.diffskip > td.chunkctrl .jcbutton:hover {
|
| ︙ | ︙ |