.change-label {
    font-weight: bold;
}

.property-change {
    margin-left: 1.5em;
    font-size: 90%;
}

.property-name, .old-value, .new-value {
    text-decoration: underline;
}