532
533
534
535
536
537
538
539
540
541
542
543
544
545
|
padding-top: 1px;
}
/* Rules governing diff layout and colors */
table.diff {
width: 100%;
border-spacing: 0;
border: 1px solid black;
font-size: 80%;
}
table.diff td.diffln{
padding: 0;
}
table.diff td.diffln > pre{
|
>
|
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
|
padding-top: 1px;
}
/* Rules governing diff layout and colors */
table.diff {
width: 100%;
border-spacing: 0;
border-radius: 5px;
border: 1px solid black;
font-size: 80%;
}
table.diff td.diffln{
padding: 0;
}
table.diff td.diffln > pre{
|