/* Emphasize diffs more; makes it easier to spot whitespace and punctuation changes */
span.diffchange {
/* text-decoration:underline;*/
border-bottom: 2px solid red;
border-top: 2px solid red;
border-left: 2px solid red;
border-right: 2px solid red;
}
table.persondata {display:table;}