
div.page_legend {
    margin-left: 0.75em;
    margin-right: 0.75em;
    margin-top: 1.25em;
    margin-top: 1.25em;
}

span.package_first {
    color: #222;
}
span.package_changed {
    color: #222;
}
span.package_missing {
    color: #600;
}
span.package_similar {
    color: #aa0;
    font-weight: bolder;
    font-size: larger;
}
span.package_identical {
    color: #080;
    font-weight: bolder;
    font-size: larger;
}

