/* formatting for result table */

.result-table {
    color: #444466;
    background-color: #242a5d;
    width: 550px;
}
.result-table th {
    width: 180px;
    color: #ffffff;
    background-color: #444466;
    text-align: left;
    vertical-align: top;
    border-top: 1px solid gray;
    font-size: 0.9em;
}

.result-table td {
    vertical-align: top;
    background-color: #d1d2dd;
    font-size: 0.9em;
}

/* column widhts */
.result-table #solver-col { width: 30%; }
.result-table #submitter-col { width: 30%; }
.result-table #affiliation-col { width: 30%; }
.result-table #solved-col { width: 10%; }