.red{color:red}.green{color:green}.grey{color:gray}.highlight-old{background-color:#fcc}.highlight-new{background-color:#cfc}