/* CSS */

dl.toc {
    margin-top: 0;
    margin-bottom: 0;
}

.revision-added {
    background-color: #CCFFCC;
}

.revision-changed {
    background-color: #FFFFCC;
}

.revision-deleted {
    background-color: #FFCCCC;
    text-decoration: line-through;
}