.version {
    font-family: sans-serif;
    color: #e00;
    font-size: 30px;
    font-weight: bold;
}

#message {
    display: none;
    background: #77f;
    font-size: 10pt;
    color: #fff;
    border-radius: 8px 8px 8px 8px;
    padding: 4px;
    cursor: pointer;
    min-height: 25px;
}

.message_close {
    float: left;
    width: 25px;
    font-weight: bold;
    font-size: 16pt;
    color: #ddd;
}

.message_close:hover {
    color: #ff0;
}

.message_contents {
    padding-left: 10px;
    margin-top: 5px;
    margin-bottom: 5px;
}


.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_options_button
{
    user-select: none;
    display: inline-block;
    line-height: 30px;
    height: 30px;
    width: 20px;
    border-radius: 0px 8px 8px 0px;
    text-align: center;
    cursor: pointer;
    background-color: #77f;
    position: relative;
}

.solve_options_button:hover
{
    background-color: #ddf;
}

.solve_options_dropdown {
    border-radius: 8px 8px 8px 8px;
    display: none;
    position: absolute;
    top: 0px;
    left: -120px;
    width: 150px;
    background-color: #77f;
    z-index: 1;
}

.solve_options_dropdown_item {
    font-size: 10pt;
    line-height: 15pt;
    color: #000;
    cursor: pointer;
}

.solve_options_dropdown_item:hover {
    color: #f8f8ff;
}

.solve_button {
    user-select: none;
    display: inline-block;
    line-height: 30px;
    height: 30px;
    width: 100px;
    background-color: #aaf;
    border-radius: 8px 0px 0px 8px;
    text-align: center;
    cursor: pointer;
    vertical-align: top;
    position: relative;
}

.solve_button:hover {
    background-color: #ddf;
}

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

.solve_button_wrapper
{
    float: right;
}

.solve_gray
{
    background-color: #aaa;
    pointer-events: none;
}


#soltable
{
    background-color: #f8f8ff;
    width: 100%;
    display: block;
    margin-left: auto;
    margin-right: auto;
    overflow: auto;
    padding-left: 15px;
    padding-right: 15px;
    margin-top: 20px;
}

.soltable_logp, .soltable_index {
    font-family: monospace;
    color: #888;
    padding-right: 15px;
    padding-top: 5px;
    vertical-align: top;
}

.soltable_plaintext {
    font-family: monospace;
    padding-top: 5px;
    padding-bottom: 10px;
}


.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 {
    color: #eee;
    background-color: #8a8;
    border-radius: 8px 8px 8px 8px;
    cursor: pointer;
    padding-left: 10px;
    padding-right: 10px;
    margin: auto;
    display: inline-block;
    text-align: center;
    line-height: 30px;
    height: 30px;
    font-size: 10pt;
    vertical-align: 10px;
}

.mode:hover {
    color: #ffb;
}