.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;}