.results-table {
    cell-spacing: 0;
    border-collapse: collapse;
    margin: 0.8em 0 0 1em;

    padding: 10px;
    font-size: 60%;
}
.results-table th {
    text-align: left;
    vertical-align: middle;
    padding: 3px 5px 3px 5px;
    border: 1px solid #aaa;
}
.results-table td {
    vertical-align: baseline;
    text-align:right;
    padding: 3px 5px 3px 5px;
    border: 1px solid #aaa;
}
.solver {
    text-align: left;
    width: 300px;
}