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. */
/* 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 {
|