._container_1qw01_1{display:inline-flex;flex-direction:row;gap:.5rem;align-items:center}._correct_1qw01_8,._error_1qw01_9{display:flex;flex-direction:row;align-items:center;gap:.5em;padding:.25em 1em;border-radius:2px;border:1px solid;font-weight:700;font-size:.85rem}._correct_1qw01_8{color:rgb(var(--correct-color-rgb));background:rgb(var(--correct-background-rgb));border-color:rgb(var(--correct-color-rgb))}._error_1qw01_9{color:rgb(var(--error-color-rgb));background:rgb(var(--error-background-rgb));border-color:rgb(var(--error-color-rgb))}._spin_1qw01_34{animation:_spin_1qw01_34 1s infinite}@keyframes _spin_1qw01_34{0%{transform:rotate(0)}to{transform:rotate(360deg)}}._container_exp17_1{display:inline-flex;align-items:center;gap:.25rem;padding:0 .25rem;height:2em;font-size:.75rem;border:1px solid;border-color:rgb(var(--text-rgb),.2);border-radius:2px}._container_exp17_1._disabled_exp17_15{opacity:.5}._button_exp17_19{width:1.5rem;height:1.5rem;display:flex;justify-content:center;align-items:center;border-radius:50%;background:none;border:none}._button_exp17_19:disabled{cursor:default}._button_exp17_19:not(:disabled):hover{background:rgb(var(--text-rgb),.05)}._button_exp17_19:not(:disabled):active{background:rgb(var(--text-rgb),.1)}._divider_exp17_43{height:1rem;border-left:1px solid rgb(var(--text-rgb),.2)}._divider_exp17_43:last-child{display:none}._toggle-button_7ha7e_1{border:1px solid;border-color:transparent;background:none;height:unset;font-size:1.25rem;padding:.25em}._toggle-button_7ha7e_1._toggled_7ha7e_11{border-color:rgb(var(--text-rgb),.2);background:rgb(var(--text-rgb),.1)}.error-message{display:none;position:absolute;left:0;right:0;bottom:0;transform:translateY(100%);padding:.25rem .5rem;border-radius:2px;border:1px solid black;color:rgb(var(--error-color-rgb));background:rgb(var(--card-background-rgb));box-shadow:0 .3rem .5rem #0003;z-index:10}._align_1f3t2_1{padding:.25rem}._premise-conclusion-container_1f3t2_5{display:grid;gap:.5rem;grid-template-columns:1fr auto 1fr;margin-bottom:2rem}._note_1f3t2_13{opacity:.75;font-size:.85rem;margin-top:-.25rem}._steps-container_7ia3f_1{position:relative;-webkit-transform:rotate(0deg);-moz-transform:rotate(0deg);-ms-transform:rotate(0deg);-o-transform:rotate(0deg);transform:rotate(0);display:flex;flex-direction:column}@media screen and (max-width: 640px){._steps-container_7ia3f_1{margin-right:-1rem}}._proof-row_1yp53_1{position:relative;display:flex;flex-direction:row;align-items:center;gap:.5rem;padding:.25rem}._proof-row_1yp53_1 input:placeholder-shown{background:rgb(var(--text-rgb),.1);border-color:rgb(var(--text-rgb),.4);opacity:.5}._proof-row_1yp53_1 input:placeholder-shown::placeholder{color:rgb(var(--text-rgb),.7)}._proof-row_1yp53_1._error_1yp53_20{color:rgb(var(--error-color-rgb))}._proof-row_1yp53_1._error_1yp53_20 input{border-color:rgb(var(--error-color-rgb));background-color:rgb(var(--error-background-rgb))}._proof-row_1yp53_1._correct_1yp53_29{color:rgb(var(--correct-color-rgb))}._proof-row_1yp53_1._correct_1yp53_29 input{border-color:rgb(var(--correct-color-rgb));background-color:rgb(var(--correct-background-rgb))}._number_1yp53_38{position:fixed;width:3rem;padding-right:.25rem;left:0;transform:translate(-100%);display:flex;align-items:center;justify-content:end;font-family:monospace;font-size:1rem;-webkit-user-select:none;user-select:none}._statement-input_1yp53_55{flex-grow:1}._rule-args-container_1yp53_59{display:flex;flex-direction:row;align-items:center;gap:.5rem;width:300px;flex-shrink:0}._rule-name_1yp53_69{flex-grow:1}._argument-container_1yp53_73{display:flex;flex-direction:row;align-items:center;width:60px}._actions_1yp53_80{position:absolute;right:0;transform:translate(100%);display:flex;flex-direction:row;align-items:center;gap:.5rem;padding:.25rem .25rem .25rem .5rem;border-radius:4px}._action-button_1yp53_95{display:flex;justify-content:center;align-items:center;border:1px solid;border-color:rgb(var(--text-rgb),.2);background:none;width:1.75rem;height:1.75rem;border-radius:2px;padding:0;visibility:hidden}._action-button_1yp53_95._delete_1yp53_111{border-color:rgba(var(--error-color-rgb),.2);color:rgb(var(--error-color-rgb));background:rgb(var(--error-background-rgb))}._action-button_1yp53_95._drag_1yp53_117{width:auto;border:none;cursor:grab}._action-button_1yp53_95:hover{background:rgb(var(--text-rgb),.1)}._action-button_1yp53_95._delete_1yp53_111:hover{background:rgba(var(--error-color-rgb),.2)}._action-button_1yp53_95._drag_1yp53_117:hover{background:none}._proof-row_1yp53_1:hover,._proof-row_1yp53_1:hover ._number_1yp53_38{background:rgb(var(--hover-line-rgb))}._proof-row_1yp53_1:hover ._actions_1yp53_80 button,._actions_1yp53_80:hover button{visibility:visible}._proof-row_1yp53_1:hover ._actions_1yp53_80{background:rgb(var(--card-background-rgb))}._proof-row_1yp53_1:hover ._error-message_1yp53_149,._error-message_1yp53_149:hover{display:block}fieldset{padding:0;border-radius:2px;position:relative;display:flex;min-width:0;margin-top:-12px;border:1px solid rgb(189,189,189)}fieldset legend{font-size:.7rem;z-index:1;padding-bottom:10px;pointer-events:none}fieldset input[type=text]{border:none;width:100%;margin-top:-14px;outline:none}@media screen and (max-width: 640px){._actions_1yp53_80{display:none}._statement-input_1yp53_55{flex-grow:0;width:0%;flex:1}._rule-args-container_1yp53_59{width:175px;gap:.25rem}._argument-container_1yp53_73{width:40px;padding:0}input[type=text]{padding-left:.25rem;padding-right:.25rem;font-size:.8rem;letter-spacing:-.5px}}._icon_mejut_1{color:rgb(var(--error-color-rgb));margin-right:.3rem}._container_12b9f_1{position:relative;display:inline-flex}._field_12b9f_6{width:100%}._list_12b9f_10{position:absolute;top:100%;left:0;right:0;max-height:300px;overflow-y:auto;scrollbar-gutter:stable;z-index:1;background:rgb(var(--card-background-rgb));border:1px solid rgb(var(--text-rgb),.2);font-family:monospace;font-size:1rem}._list-item_12b9f_26{padding:.25rem .5rem;cursor:pointer;font-weight:700}._list-item_12b9f_26:hover{background:rgb(var(--text-rgb),.05)}._list-item_12b9f_26:active{background:rgb(var(--text-rgb),.1)}._list-item_12b9f_26._selected_12b9f_40{background:rgb(var(--text-rgb),.2)}._list-item_12b9f_26._unknown_12b9f_44{font-weight:400;font-style:italic}@media screen and (max-width: 640px){._list_12b9f_10{font-size:.8rem}}._proof-box_sy2fr_1{position:relative;display:flex;flex-direction:row;margin:.25rem;border-radius:2px;border:1px solid rgb(var(--text-rgb),.75)}._proof-box_sy2fr_1._error_sy2fr_19{border-color:rgb(var(--error-color-rgb));background-color:rgb(var(--error-background-rgb))}._proof-box_sy2fr_1:hover>._error-message_sy2fr_24,._error-message_sy2fr_24:hover{display:block}._drag_sy2fr_29{margin-right:-.25rem;width:1.5rem;flex-shrink:0;cursor:grab;background:none;border:none;opacity:0}._drag_sy2fr_29:hover{opacity:unset}._children-container_sy2fr_44{display:flex;flex-direction:column;flex-grow:1;flex-shrink:1;padding:.25rem;padding-right:0;padding-left:0}@media screen and (max-width: 640px){._drag_sy2fr_29{width:.5rem;visibility:hidden}._proof-box_sy2fr_1{border-width:2px;border-right:0;margin-right:0}}