.best {
    background-color: lightgreen;
}
.error {
    font-weight: bold;
    background-color: lightcoral;
}
.incorrect {
    background-color: orange;
    font-weight: bold;
}
.timeout {
    background-color: lightgray;
}
.memout {
    background-color: lightgray;
}
.unsupported {
    background-color: yellow;
}
.ignored {
    background-color: blue;
}

h1 {
    font-size: 28px; font-weight: bold;
    color: #000000;
    padding: 1px; margin-top: 20px; margin-bottom: 1ex;
}

tt, .tt {
    font-family: 'Courier New', monospace; line-height: 1.3;
}

.box {
    margin: 2.5ex 0ex 1ex 0ex; border: 1px solid #D0D0D0; padding: 1.6ex 1.5ex 1ex 1.5ex; position: relative;
}

.boxlabelo {
    position: absolute; pointer-events: none; margin-bottom: 0.5ex;
}

.boxlabel {
    position: relative; top: -3.35ex; left: -0.5ex; padding: 0px 0.5ex; background-color: #FFFFFF; display: inline-block;
}
.boxlabelc {
    position: relative; top: -3.17ex; left: -0.5ex; padding: 0px 0.5ex; background-color: #FFFFFF; display: inline-block;
}