/* Anpassen der Diff-Ansicht */
del.diffchange-inline,
del.diffchange,
td.diff-empty ~ td.diff-deletedline
{
  color:darkred !important;
  font-weight: bold !important;
  background-color: #FFCCCC !important;
}

ins.diffchange-inline,
ins.diffchange
{
  color:darkgreen !important;
  font-weight: bold !important;
  background-color: #CCFFFF !important;
}
  
td.diff-marker
{
  font-weight:normal;
  font-size:1em;
}