th, td {
    text-align: center;
}
div.passed, a.passed {
    color: green;
}
div.failed, a.failed {
    color: red;
}
a.details {
    text-decoration: none;
    font-size: 50%;
    border-bottom: 1px dashed;
}
span.details {
    font-size: 200%;
    line-height: normal;
}
table.details0 {
    display: none;
}
table.details1 {
    display: block;
}
