.progressbar_fg {
    position: absolute;
    border-radius: 8px 8px 8px 8px;
    display: inline-block;
    height: 30px;
    width: 0%;
    background-color: #ccf;
}

.progressbar_bg {
    border-radius: 8px 8px 8px 8px;
    display: inline-block;
    line-height: 30px;
    height: 30px;
    width: 100%;
    background-color: #eee;
}

.solve_button {
    display: inline-block;
    line-height: 30px;
    height: 30px;
    width: 19%;
    background-color: #88f;
    border-radius: 8px;
    text-align: center;
}

.solve_button:hover {
    background-color: #8f8;
}

.solve_button_disabled {
    display: inline-block;
    line-height: 30px;
    height: 30px;
    width: 19%;
    background-color: #ddd;
    color: #555;
    border-radius: 8px;
    text-align: center;
}

.soltable_logp {
    font-family: monospace;
    color: #888;
    padding-right: 20px;
    vertical-align: top;
}

.soltable_plaintext {
    font-family: monospace;
    padding-bottom: 20px;
}


.toggle_button {
    background-color: #333;
    display: inline-block;
    height: 30px;
    border-radius: 8px 0px 0px 8px;
    text-align: center;
    width: 9.5%;
    line-height: 30px;
    vertical-align: middle;
}

.mode {

}

.mode:hover {
    color: #0a0;
}