.ok {color:green}
.ko {color:red}

.comment{
    font: 125% "Lucida Grande";
    border-top: 1px solid #999;
    margin-top: 15px;
    margin-bottom: 5px;
}

.jsr, li {
    font: 100% "courier", sans-serif;
    margin-bottom: 5px;
    white-space:pre;
}

.result {
    font: 100%  sans-serif;
    margin-bottom: 5px;
}