570
571
572
573
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
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
|
}
tr.diffskip > td.chunkctrl > div {
/* Exists solely for layout purposes. */
}
body.fossil-dark-style tr.diffskip > td.chunkctrl{
filter: inherit;
}
tr.diffskip > td.chunkctrl .button {
min-width: 2.5em;
max-width: 2.5em;
text-align: center;
display: inline-block;
padding: 0.1em 1em;
margin: 0 1em 0 0;
background-color: rgba(127,127,127,0.2);
border-style: outset;
border-width: 0;
/*border-width: 1px;
border-color: rgba(0,0,0,0);*/
/*filter: drop-shadow(0.08em 0.08em 0.08em black);*/
tr.diffskip > td.chunkctrl .button.up:not(.down){
/* Simulate an arrow pointing up */
border-radius: 3em 3em 0.25em 0.25em;
}
tr.diffskip > td.chunkctrl .button.down:not(.up){
/* Simulate an arrow pointing down */
border-radius: 0.25em 0.25em 3em 3em;
}
tr.diffskip > td.chunkctrl .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 .button.up:not(.down) > span::before {
content: '⇡';
}
tr.diffskip > td.chunkctrl .button.down:not(.up) > span::before {
content: '⇣';
}
tr.diffskip > td.chunkctrl .button.up.down > span::before {
content: '⇡⇣';
}
tr.diffskip > td.chunkctrl .button:hover {
/*border-color: rgba(75,75,75,1);*/
cursor: pointer;
opacity: 1;
filter: contrast(3);
}
td.diffln {
width: 1px;
|
|
>
|
|
<
<
<
|
|
|
|
|
|
|
|
570
571
572
573
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
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
|
}
tr.diffskip > td.chunkctrl > div {
/* Exists solely for layout purposes. */
}
body.fossil-dark-style tr.diffskip > td.chunkctrl{
filter: inherit;
}
tr.diffskip > td.chunkctrl .jcbutton
/* class name .button breaks w/ some skins! */ {
min-width: 3.5ex;
max-width: 3.5ex;
text-align: center;
display: inline-block;
padding: 0.1em 1em;
margin: 0 1em 0 0;
background-color: rgba(127,127,127,0.2);
border-style: outset;
border-width: 0;
border-radius: 0.5em;
opacity: 0.7;
}
tr.diffskip > td.chunkctrl .jcbutton.up:not(.down){
/* Simulate an arrow pointing up */
border-radius: 3em 3em 0.25em 0.25em;
}
tr.diffskip > td.chunkctrl .jcbutton.down:not(.up){
/* Simulate an arrow pointing down */
border-radius: 0.25em 0.25em 3em 3em;
}
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:not(.down) > span::before {
content: '⇡';
}
tr.diffskip > td.chunkctrl .jcbutton.down:not(.up) > span::before {
content: '⇣';
}
tr.diffskip > td.chunkctrl .jcbutton.up.down > span::before {
content: '⇡⇣';
}
tr.diffskip > td.chunkctrl .jcbutton:hover {
/*border-color: rgba(75,75,75,1);*/
cursor: pointer;
opacity: 1;
filter: contrast(3);
}
td.diffln {
width: 1px;
|