/*
div.quicksource{
    font-size: 10px;
}
div.quicksource>div.notAvailable,
div.quicksource>div.notAvailable a {
    color: red;
}
div.quicksource>div.available,
div.quicksource>div.available a {
    color: green;
}
div.quicksource>div.partlyAvailable,
div.quicksource>div.partlyAvailable a {
    color: orange;
}
*/