@charset "UTF-8";@keyframes pop{0%{transform:scale(.7)}to{transform:scale(1)}}html{font-size:80%}html,body{overflow:auto;height:100%;margin:0;padding:0}#root{height:100%;overflow:auto}.logicpenguin .derivationcomment .derivationstatus{font-weight:600;margin-bottom:.5ex}.logicpenguin .derivationcomment .derivationstatus.success{color:var(--lpgreen)}.logicpenguin .derivationcomment .derivationstatus.error{color:var(--lpred)}body[data-theme=dark] .logicpenguin{--lpblack: rgba(255, 255, 255, .92);--lpwhite: #0f1116;--lpgray1: #c7c9d1;--lpgray2: #a6abba;--lpgray3: #8a909b;--lpgray4: #6c7380;--lpgray5: #474c59;--lpgray6: #2e3340;--lpred: #ff8a8a;--lpgreen: #7cd992;--lpyellow: #f0c27a;--lpblue: #9db0ff;--lpmagenta: #d18cff;--lpcyan: #74d4e6;--lpbggreen: rgba(124, 217, 146, .16);--lpbgred: rgba(255, 138, 138, .16);--lpbgyellow: rgba(240, 194, 122, .18);--lpbgblue: rgba(157, 176, 255, .15);--lpbgmagenta: rgba(209, 140, 255, .16);--lpbgcyan: rgba(116, 212, 230, .16);--lpbgwhite: #1f222b}body[data-theme=dark] .logicpenguin .lp-problem-card,body[data-theme=dark] .logicpenguin .derivationcore,body[data-theme=dark] .logicpenguin .tt-table{background-color:#1f222b!important;border-color:#343a46!important}body[data-theme=dark] .logicpenguin .tt-head{background:#272b36}body[data-theme=dark] .logicpenguin .tt-group-row th{background:#2d3342}body[data-theme=dark] .logicpenguin .tt-token-row th{background:#232734}body[data-theme=dark] .logicpenguin .tt-row:nth-child(2n){background:#1c202a}body[data-theme=dark] .logicpenguin .tt-row-ok{background:#203226}body[data-theme=dark] .logicpenguin .derivationline input.justification,body[data-theme=dark] .logicpenguin .derivationline input.formulainput{color:var(--lpblack);--border-before-color: rgba(255, 255, 255, .2);--border-after-color: rgba(157, 176, 255, .6);--input-hovered-color: rgba(255, 255, 255, .06)}body[data-theme=dark] .logicpenguin .derivationcomment{color:var(--lpblack)}@keyframes spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}:where(.logicpenguin) .spinning{animation:spin 3s infinite linear;animation-direction:reverse}@keyframes fade{0%{color:transparent}to{color:inherit}}@keyframes flip{0%{transform:rotateX(0)}to{transform:rotateX(180deg)}}:root{--lpblack: rgba(0, 0, 0, .9);--lpbgblack: #282c34;--lpred: #e45649;--lpbgred: #f6d3d6;--lpgreen: #76b947;--lpbggreen: #e0edd7;--lpyellow: #c18401;--lpbgyellow: #ecdab3;--lpblue: #beafc2;--lpbgblue: #e8f4fd;--lpmagenta: #a626a4;--lpbgmagenta: #eed7f5;--lpcyan: #0997b3;--lpbgcyan: #cce9ed;--lpwhite: #fafafa;--lpbgwhite: #e4e5e6;--lpgray1: #464950;--lpgray4: #a0a2a5;--lpgray2: #64676d;--lpgray5: #bebfc1;--lpgray3: #828489;--lpgray6: #dcdddd}:where(.logicpenguin){all:revert-layer;font-size:1rem;font-family:IBM Plex Sans,sans-serif;background-color:transparent;color:var(--lpblack);--tt-font-size: clamp(1rem, .9rem + .45vw, 1.25rem);--tt-token-font-size: clamp(.95rem, .85rem + .35vw, 1.15rem);--tt-cell-pad-y: clamp(.4rem, .3rem + .4vw, .65rem);--tt-cell-pad-x: clamp(.6rem, .45rem + .6vw, .95rem);--tt-cell-min-width: clamp(2.4rem, 2rem + .9vw, 3.2rem);--tt-toggle-size: clamp(2rem, 1.6rem + 1vw, 2.8rem);--tt-toggle-font-size: clamp(.9rem, .8rem + .4vw, 1.15rem);--tt-toggle-letter-spacing: clamp(.09em, .07em + .08vw, .14em);--tt-select-min-width: clamp(5.5rem, 4.8rem + 1vw, 7.5rem)}:where(.logicpenguin) .problemstatusindicator,:where(.logicpenguin) .problemsuccessindicator,:where(.logicpenguin) .problemsavedindicator,:where(.logicpenguin) .problempointsindicator,:where(.logicpenguin) .problemindicatormessage{display:none}:where(.logicpenguin),:where(.logicpenguin) *{box-sizing:border-box}:where(.logicpenguin) .lp-problem-card{background-color:#fff;border-radius:.5rem;padding:1rem;box-shadow:0 7px 12px -3px #00000014,0 3px 5px -2px #0000000a;border:1px solid rgba(0,0,0,.08);font-size:inherit;width:100%;max-width:100%;min-width:0;margin:0;box-sizing:border-box;overflow-x:auto;overflow-y:visible;overscroll-behavior-x:contain;-webkit-overflow-scrolling:touch;overflow-wrap:break-word;word-wrap:break-word}:where(.logicpenguin) .lp-problem-card *,:where(.logicpenguin) .lp-problem-card *:before,:where(.logicpenguin) .lp-problem-card *:after{font-size:inherit}:where(.logicpenguin) .tt-table-wrap{width:auto;display:inline-block;max-width:100%;overflow-x:auto}:where(.logicpenguin) .tt-table{border-collapse:collapse;width:max-content!important;table-layout:auto;background:#fff;border:1px solid var(--lpgray6);font-size:var(--tt-font-size)}:where(.logicpenguin) .tt-table th,:where(.logicpenguin) .tt-table td{border:1px solid var(--lpgray6);padding:var(--tt-cell-pad-y) var(--tt-cell-pad-x);text-align:center;vertical-align:middle}:where(.logicpenguin) .tt-head{background:var(--lpbgblue)}:where(.logicpenguin) .tt-group-row th{background:#e8f1ff;font-weight:700;font-size:var(--tt-token-font-size)}:where(.logicpenguin) .tt-token-row th{background:#f4f7ff;font-weight:600;text-transform:uppercase;font-size:var(--tt-token-font-size)}:where(.logicpenguin) .tt-token-row th.tt-selector-corner,:where(.logicpenguin) .tt-selector-corner{background:#fff!important;border:none!important}:where(.logicpenguin) .tt-selector-corner-bottom{background:#fff!important;border:none!important}:where(.logicpenguin) .tt-row-selector-cell,:where(.logicpenguin) .tt-selector-row th,:where(.logicpenguin) .tt-selector-row td{border:none!important;background:transparent!important}:where(.logicpenguin) .tt-cell{min-width:var(--tt-cell-min-width)}:where(.logicpenguin) .tt-toggle{font-size:var(--tt-toggle-font-size);letter-spacing:var(--tt-toggle-letter-spacing);width:var(--tt-toggle-size);height:var(--tt-toggle-size)}:where(.logicpenguin) .tt-separator{background:transparent;font-weight:600;color:inherit}:where(.logicpenguin) .tt-separator-cell{background:transparent;font-weight:600;color:inherit;-webkit-user-select:none;user-select:none}:where(.logicpenguin) .tt-row:nth-child(2n){background:#f9fafc}:where(.logicpenguin) .tt-row-ok{background:#f3fbf1}@media (max-width: 900px){:where(.logicpenguin){font-size:1rem}:where(.logicpenguin) .lp-problem-card{width:100%;min-width:0;max-width:100%;padding:.85rem;box-sizing:border-box}:where(.logicpenguin) .tt-table-wrap{width:100%;display:block}:where(.logicpenguin) input.formulainput{min-width:0;width:100%;max-width:100%}}@media (max-width: 600px){:where(.logicpenguin){font-size:1rem;--tt-font-size: clamp(.95rem, .85rem + .3vw, 1.1rem);--tt-token-font-size: clamp(.9rem, .8rem + .25vw, 1.05rem);--tt-cell-pad-y: clamp(.32rem, .24rem + .25vw, .5rem);--tt-cell-pad-x: clamp(.5rem, .4rem + .35vw, .75rem);--tt-cell-min-width: clamp(2.1rem, 1.8rem + .7vw, 2.8rem);--tt-toggle-size: clamp(1.8rem, 1.5rem + .8vw, 2.4rem);--tt-toggle-font-size: clamp(.85rem, .75rem + .35vw, 1rem);--tt-toggle-letter-spacing: clamp(.08em, .06em + .06vw, .12em);--tt-select-min-width: clamp(4.5rem, 4rem + .8vw, 6.5rem)}:where(.logicpenguin) .tt-table:has(th:nth-child(9)){--tt-font-size: clamp(.9rem, .82rem + .28vw, 1.05rem);--tt-token-font-size: clamp(.85rem, .78rem + .22vw, 1rem);--tt-cell-pad-y: clamp(.28rem, .22rem + .2vw, .45rem);--tt-cell-pad-x: clamp(.45rem, .36rem + .28vw, .65rem);--tt-cell-min-width: clamp(1.9rem, 1.6rem + .55vw, 2.5rem);--tt-toggle-size: clamp(1.6rem, 1.35rem + .6vw, 2.1rem);--tt-toggle-font-size: clamp(.78rem, .7rem + .25vw, .95rem);--tt-toggle-letter-spacing: clamp(.07em, .055em + .05vw, .11em)}}:where(.logicpenguin) #savenotice{margin-top:4ex;font-size:90%;color:var(--lpgray1)}:where(.logicpenguin).symbolinsertwidget{background-color:transparent;z-index:10}:where(.logicpenguin) a,:where(.logicpenguin) a:link,:where(.logicpenguin) a:visited{color:var(--lpblue)}:where(.logicpenguin) a:hover,:where(.logicpenguin) a:link:hover,:where(.logicpenguin) a:visited:hover{color:var(--lpcyan)}:where(.logicpenguin) a.fakebutton{text-decoration:underline;cursor:pointer}:where(.logicpenguin) a.fakebutton:hover{color:var(--lpcyan)}:where(.logicpenguin) button{font-family:IBM Plex Sans,sans-serif}:where(.logicpenguin) .math,:where(.logicpenguin) .symbolic{font-family:IBM Plex Sans,sans-serif}:where(.logicpenguin) span.material-symbols-outlined{cursor:default;-webkit-user-select:none;user-select:none}:where(.logicpenguin) .hidden{display:none!important}:where(.logicpenguin) .invisible{visibility:hidden!important;cursor:none!important}a#lplogo,a#lplogo:link,a#lplogo:visited,a#lplogo:active{float:right;display:inline-block;margin-right:1em;margin-left:1em;text-decoration:none;color:var(--lpmagenta);cursor:pointer;font-size:130%;font-weight:200;vertical-align:middle}a#lplogo img{width:100px}a#lplogo span{display:none;position:relative;right:-100px;bottom:10px}a#lplogo:hover span{display:inline}:where(.logicpenguin) h1{font-weight:900;font-size:200%;color:var(--lpmagenta);text-shadow:4px 4px 15px var(--lpgray5);text-decoration:underline;text-decoration-color:var(--lpgray4);text-decoration-thickness:1px}:where(.logicpenguin) h2{font-style:italic;font-weight:200;font-size:180%;color:var(--lpyellow)}:where(.logicpenguin) h3{color:var(--lpblue);margin-bottom:1ex;font-weight:500}:where(.logicpenguin) .lecturelink{margin-top:2ex;margin-bottom:2ex}:where(.logicpenguin) .instructions:before{content:"Instructions: ";font-style:normal;color:var(--lpgray2)}:where(.logicpenguin) .instructions,:where(.logicpenguin) .instruction{display:block;font-weight:400;margin-bottom:.5rem;padding-bottom:.5rem}:where(.logicpenguin) .instructions+*,:where(.logicpenguin) .instruction+*{margin-top:.5rem}:where(.logicpenguin) .argument,:where(.logicpenguin) .lp-problem-card>div>div:not([class]):last-of-type,:where(.logicpenguin) .lp-problem-card .MuiTypography-root>div:not([class]):last-of-type{font-size:1.15em}:where(.logicpenguin) div:not(.instructions):not(.instruction)+div,:where(.logicpenguin) div:not(.instructions):not(.instruction)+p,:where(.logicpenguin) p+div,:where(.logicpenguin) p+p{margin-top:1.5rem}:where(.logicpenguin) .lp-problem-card p,:where(.logicpenguin) .lp-problem-card div{line-height:2}:where(.logicpenguin) .problem{display:block}:where(.logicpenguin) .problemlist li{margin-bottom:4ex}:where(.logicpenguin).sampleproblem ol,:where(.logicpenguin) .sampleproblem ol{list-style-type:none;margin-left:0;padding-left:0}:where(.logicpenguin) .problemstatusindicator{text-align:center;margin-top:.7ex;border:2px solid var(--lpgray4);background-color:var(--lpgray6);border-radius:5ex;padding-left:.5em;padding-right:.5em;padding-bottom:.65ex;padding-top:.4ex;font-size:75%;min-height:3ex;color:var(--lpgray2);text-transform:uppercase;transition:background-color 1s}:where(.logicpenguin) .problemstatusindicator span.material-symbols-outlined{font-size:180%}:where(.logicpenguin) .saved.unknown .problemstatusindicator,:where(.logicpenguin) .unknown .problemstatusindicator,:where(.logicpenguin) .saved .problemstatusindicator{background-color:transparent}:where(.logicpenguin) .saved.correct .problemstatusindicator,:where(.logicpenguin) .correct .problemstatusindicator{background-color:var(--lpbggreen)}:where(.logicpenguin) .saved.incorrect .problemstatusindicator,:where(.logicpenguin) .incorrect .problemstatusindicator{background-color:var(--lpbgred)}:where(.logicpenguin) .malfunction .problemstatusindicator{background-color:var(--lpred);color:var(--lpwhite)}:where(.logicpenguin) .indeterminate .problemstatusindicator,:where(.logicpenguin) .saved.indeterminate .problemstatusindicator{background-color:var(--lpbgmagenta)}:where(.logicpenguin) .saveerror .problemstatusindicator{background-color:var(--lpred);color:var(--lpwhite)}:where(.logicpenguin) .problempointsindicator{padding-left:.5em;padding-right:.5em;position:relative;top:.63ex}:where(.logicpenguin) .problemindicatormessage{text-transform:none;position:relative;top:.63ex}:where(.logicpenguin) .problemsuccessindicator{color:var(--lpgray3);display:inline-block;float:left;margin-left:.5em;margin-right:.5em}:where(.logicpenguin) .problemsuccessindicator span{color:var(--lpgray6)}:where(.logicpenguin) .problemsuccessindicator:after{content:"unanswered";position:relative;bottom:1.05ex;left:.5em}:where(.logicpenguin) .checking .problemsuccessindicator span{color:var(--lpblue);animation:flip 1s infinite linear;animation-direction:alternate}:where(.logicpenguin) .checking .problemsuccessindicator:after{content:"checking"}:where(.logicpenguin) .unknown .problemsuccessindicator:after{content:"score tbd"}:where(.logicpenguin) .unknown .problemsuccessindicator span{color:var(--lpgray4)}:where(.logicpenguin) .correct .problemsuccessindicator span{color:#beafc2}:where(.logicpenguin) .correct .problemsuccessindicator:after{content:"correct"}:where(.logicpenguin) .edited .problemsuccessindicator span{color:var(--lpwhite)}:where(.logicpenguin) .edited .problemsuccessindicator:after{content:"edited"}:where(.logicpenguin) .edited.saveerror .problemsuccessindicator:after{color:var(--lpwhite)}:where(.logicpenguin) .incorrect .problemsuccessindicator span{color:var(--lpred)}:where(.logicpenguin) .incorrect .problemsuccessindicator:after{content:"incorrect"}:where(.logicpenguin) .indeterminate .problemsuccessindicator span{color:var(--lpmagenta)}:where(.logicpenguin) .indeterminate .problemsuccessindicator:after{content:"computer could not determine";color:var(--lpmagenta)}:where(.logicpenguin) .malfunction .problemsuccessindicator span{color:var(--lpbgyellow);background-color:var(--lpred)}:where(.logicpenguin) .malfunction .problemsuccessindicator:after{content:"malfunction";color:var(--lpbgyellow)}:where(.logicpenguin) .problemsavedindicator{color:var(--lpgray2);display:inline-block;float:right;margin-left:.5em;margin-right:.5em}:where(.logicpenguin) .problemsavedindicator span{color:var(--lpgray6)}:where(.logicpenguin) .problemsavedindicator:before{content:"unsaved";position:relative;bottom:1.05ex;right:.5em}:where(.logicpenguin) .malfunction .problemsavedindicator span{color:var(--lpbgyellow);background-color:var(--lpred)}:where(.logicpenguin) .malfunction .problemsavedindicator:before{color:var(--lpbgyellow);content:"malfunction"}:where(.logicpenguin) .saved .problemsavedindicator span{color:var(--lpgray2)}:where(.logicpenguin) .saved .problemsavedindicator:before{content:"saved"}:where(.logicpenguin) .saveerror .problemsavedindicator span{color:var(--lpbgred)}:where(.logicpenguin) .saveerror .problemsavedindicator:before{content:"error saving";color:var(--lpbgred)}:where(.logicpenguin) .saving .problemsavedindicator span{color:var(--lpblue);animation:spin 1s infinite linear}:where(.logicpenguin) .saving .problemsavedindicator:before{content:"saving"}:where(.logicpenguin) .unsavable .problemsavedindicator span{color:var(--lpgray3)}:where(.logicpenguin) .unsavable .problemsavedindicator:before{content:""}:where(.logicpenguin) input[type=checkbox],:where(.logicpenguin) input[type=radio]{width:1.5rem;height:1.5rem;accent-color:var(--lpblue);cursor:pointer}:where(.logicpenguin) input[type=radio]{position:relative;top:.25ex;margin-right:.8rem}:where(.logicpenguin) input[type=radio]+label{cursor:pointer}:where(.logicpenguin) .infobox table{border-collapse:collapse;border-style:solid;border-width:2px}:where(.logicpenguin) .infobox table.info{border-color:var(--lpcyan)}:where(.logicpenguin) .infobox table.warning{border-color:var(--lpyellow)}:where(.logicpenguin) .infobox table.error{border-color:var(--lpred)}:where(.logicpenguin) .infobox table td:first-child{padding-left:.5em;padding-right:.5em;vertical-align:middle}:where(.logicpenguin) .infobox table td:first-child span.material-symbols-outlined{font-size:180%}:where(.logicpenguin) .infobox table.info td:first-child{color:var(--lpblue);background-color:var(--lpbgcyan)}:where(.logicpenguin) .infobox table.warning td:first-child{color:var(--lpred);background-color:transparent}:where(.logicpenguin) .infobox table.error td:first-child{color:#fff;background-color:var(--lpred)}:where(.logicpenguin) .infobox table.error td:first-child span.material-symbols-outlined{animation:fade .8s infinite ease-out;animation-direction:alternate;animation-delay:1s}:where(.logicpenguin) .infobox table td:first-child{padding-top:.5ex}:where(.logicpenguin) .infobox table td:last-child{padding-left:.5em;padding-right:.5em;padding-top:1ex;padding-bottom:.5ex;color:var(--lpgray2)}:where(.logicpenguin) .buttondiv{display:flex;flex-direction:row;gap:12px;align-items:center;margin-top:16px;padding:0;overflow:visible}:where(.logicpenguin) button,:where(.logicpenguin) .buttondiv button{font-family:Roboto,Helvetica,Arial,sans-serif;font-weight:500;font-size:.875rem;line-height:1.75;letter-spacing:.02857em;text-transform:uppercase;min-width:64px;padding:6px 16px;border-radius:4px;border:none;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;vertical-align:middle;position:relative;box-sizing:border-box;outline:0;-webkit-user-select:none;user-select:none;-webkit-tap-highlight-color:transparent;transition:background-color .25s cubic-bezier(.4,0,.2,1) 0ms,box-shadow .25s cubic-bezier(.4,0,.2,1) 0ms,border-color .25s cubic-bezier(.4,0,.2,1) 0ms,color .25s cubic-bezier(.4,0,.2,1) 0ms;color:#fff;background-color:#536dfe;box-shadow:0 3px 1px -2px #0003,0 2px 2px #00000024,0 1px 5px #0000001f;opacity:1}:where(.logicpenguin) .buttondiv button{padding:6px 16px;font-size:.875rem;text-transform:uppercase;letter-spacing:.02857em;font-weight:500}:where(.logicpenguin) .buttondiv button:first-of-type{color:#536dfe;background-color:transparent;border:1px solid rgba(83,109,254,.5);box-shadow:none}:where(.logicpenguin) .symbolicargumentinput td button{padding:.1em .3em;margin-right:.5em}:where(.logicpenguin) button:hover,:where(.logicpenguin) .buttondiv button:hover{background-color:#3d5afe;box-shadow:0 2px 4px -1px #0003,0 4px 5px #00000024,0 1px 10px #0000001f;opacity:1}:where(.logicpenguin) .buttondiv button:first-of-type:hover{background-color:#536dfe0a;border-color:#536dfe;box-shadow:none}:where(.logicpenguin) button:focus,:where(.logicpenguin) button:active,:where(.logicpenguin) .buttondiv button:focus,:where(.logicpenguin) .buttondiv button:active{box-shadow:0 5px 5px -3px #0003,0 8px 10px 1px #00000024,0 3px 14px 2px #0000001f;opacity:1}:where(.logicpenguin) .buttondiv button:first-of-type:active{box-shadow:none}:where(.logicpenguin) button:disabled,:where(.logicpenguin) button:disabled:hover,:where(.logicpenguin) button[disabled]:hover,:where(.logicpenguin) .buttondiv button:disabled,:where(.logicpenguin) .buttondiv button:disabled:hover,:where(.logicpenguin) .buttondiv button[disabled]:hover{color:#00000042;background-color:#0000001f;box-shadow:none;cursor:default;opacity:1}:where(.logicpenguin) button svg,:where(.logicpenguin) .buttondiv button svg{width:1.25rem;height:1.25rem}:where(.logicpenguin) input{background-color:var(--lpwhite);color:var(--lpblack)}:where(.logicpenguin) input.formulainput{font-size:inherit;padding:4px;min-width:22em;width:auto;max-width:none;border:2px solid var(--lpgray4);outline:1px solid transparent}:where(.logicpenguin) input.formulainput:focus{border:2px solid var(--lpblue);outline:1px solid var(--lpblue);background-color:var(--lpbgblue)}:where(.logicpenguin).symbolinsertwidget{display:none!important}.symbolinsertwidget table{border-spacing:4px;border-collapse:separate}.symbolinsertwidget td{width:1.4em;height:1.4em;text-align:center;vertical-align:middle;border-radius:6px;cursor:pointer;background-color:var(--lpgray1);color:var(--lpbgwhite)}.symbolinsertwidget td:hover{background-color:var(--lpblack);color:var(--lpbgmagenta)}:where(.logicpenguin) .lpprogressbar table{border-spacing:0;border-collapse:collapse;width:100%;border:2px ridge var(--lpgray3)}:where(.logicpenguin) .lpprogressbar table td{height:3ex;color:var(--lpbgwhite);text-align:center;vertical-align:middle}:where(.logicpenguin) .lpprogressbar table .pbcorrectcell{background-color:var(--lpgreen)}:where(.logicpenguin) .lpprogressbar table .pbincorrectcell{background-color:var(--lpred)}:where(.logicpenguin) .lpprogressbar table .pbsavedcell{background-color:var(--lpyellow)}:where(.logicpenguin) .lpprogressbar table .pbunansweredcell{background-color:var(--lpgray6)}.action_has{--color: 0 0% 60%;--color-has: 220deg 100% 59%;--sz: 1rem;cursor:pointer;display:flex;align-items:center;justify-content:center;height:calc(var(--sz) * 2.5);width:calc(var(--sz) * 2.5);padding:.4rem .5rem;border-radius:.375rem;border:none;background:transparent;transition:all .3s ease}.has_saved:hover{border-color:transparent}.has_liked:hover svg,.has_saved:hover svg{color:hsl(var(--color-has))}.has_liked svg,.has_saved svg{overflow:visible;height:calc(var(--sz) * 1.75);width:calc(var(--sz) * 1.75);--ease: cubic-bezier(.5, 0, .25, 1);--zoom-from: 1.75;--zoom-via: .75;--zoom-to: 1;--duration: 1s}.has_saved:hover path[data-path=box]{transition:all .3s var(--ease);animation:has-saved var(--duration) var(--ease) forwards;fill:hsl(var(--color-has) / .35)}.has_saved:hover path[data-path=line-top]{animation:has-saved-line-top var(--duration) var(--ease) forwards}.has_saved:hover path[data-path=line-bottom]{animation:has-saved-line-bottom var(--duration) var(--ease) forwards,has-saved-line-bottom-2 calc(var(--duration) * 1) var(--ease) calc(var(--duration) * .75)}@keyframes has-saved-line-top{33.333%{transform:rotate(0) translate(1px,2px) scale(var(--zoom-from));d:path("M 3 5 L 3 8 L 3 8")}66.666%{transform:rotate(20deg) translate(2px,-2px) scale(var(--zoom-via))}99.999%{transform:rotate(0) translate(0) scale(var(--zoom-to))}}@keyframes has-saved-line-bottom{33.333%{transform:rotate(0) translate(1px,2px) scale(var(--zoom-from));d:path("M 17 20 L 17 13 L 7 13 L 7 20")}66.666%{transform:rotate(20deg) translate(2px,-2px) scale(var(--zoom-via))}99.999%{transform:rotate(0) translate(0) scale(var(--zoom-to));d:path("M 17 21 L 17 21 L 7 21 L 7 21")}}@keyframes has-saved-line-bottom-2{0%{d:path("M 17 21 L 17 21 L 7 21 L 7 21")}to{transform:rotate(0) translate(0) scale(var(--zoom-to));d:path("M 17 20 L 17 13 L 7 13 L 7 20");fill:#fff}}@keyframes has-saved{33.333%{transform:rotate(0) translate(1px,2px) scale(var(--zoom-from))}66.666%{transform:rotate(20deg) translate(2px,-2px) scale(var(--zoom-via))}99.999%{transform:rotate(0) translate(0) scale(var(--zoom-to))}}[data-theme=dark] :where(.logicpenguin){color:#fff}[data-theme=dark] :where(.logicpenguin) .lp-problem-card{background-color:#23232d;border-color:#ffffff1f}[data-theme=dark] .MuiPaper-root.tt-table-wrap,[data-theme=dark] .MuiPaper-root:has(.tt-table){box-shadow:none!important}[data-theme=dark] :where(.logicpenguin) table.tt-table{background:transparent;border-color:#ffffff1f}[data-theme=dark] :where(.logicpenguin) table.tt-table th,[data-theme=dark] :where(.logicpenguin) table.tt-table td{border:1px solid rgba(255,255,255,.12);border-color:#ffffff1f;color:#fff}[data-theme=dark] :where(.logicpenguin) .tt-selector-corner,[data-theme=dark] :where(.logicpenguin) .tt-selector-corner-bottom{background:#23232d!important;border:none!important}[data-theme=dark] :where(.logicpenguin) .tt-row-selector-cell,[data-theme=dark] :where(.logicpenguin) .tt-selector-row th,[data-theme=dark] :where(.logicpenguin) .tt-selector-row td{border:none!important;background:transparent!important}[data-theme=dark] :where(.logicpenguin) input:not([class*=Mui]){background-color:#ffffff0d;color:#fff;border-color:#ffffff1f}:where(.logicpenguin) derivation-hurley{display:block;width:100%;max-width:100%}:where(.logicpenguin) derivation-hurley .problemstatusindicator,:where(.logicpenguin) derivation-hurley .problemsuccessindicator,:where(.logicpenguin) derivation-hurley .problemsavedindicator,:where(.logicpenguin) derivation-hurley .problempointsindicator,:where(.logicpenguin) derivation-hurley .problemindicatormessage,:where(.logicpenguin) derivation-hurley .buttondiv,:where(.logicpenguin) derivation-hurley .derivlinebuttons,:where(.logicpenguin) derivation-hurley .derivlineactionbutton,:where(.logicpenguin) derivation-hurley .derivlinecheck,:where(.logicpenguin) derivation-hurley .showlineshow,:where(.logicpenguin) derivation-hurley .bottombar{display:none!important}:where(.logicpenguin) derivation-hurley .derivationcore,:where(.logicpenguin) derivation-hurley .innersubderiv{width:100%;max-width:100%}:where(.logicpenguin) derivation-hurley .derivationline{position:relative;width:100%;min-width:0;display:grid;grid-template-columns:auto 1fr .9fr;align-items:center;gap:12px;padding:6px 0}:where(.logicpenguin) derivation-hurley .derivationline:before{content:"";position:absolute;top:2px;right:-8px;bottom:2px;left:-8px;border:1px solid transparent;border-radius:10px;clip-path:polygon(8px 0,calc(100% - 14px) 0,100% 50%,calc(100% - 14px) 100%,8px 100%,0 50%);pointer-events:none;opacity:0;transform:scale(.985);transition:opacity .16s ease,transform .2s ease,border-color .16s ease,background-color .16s ease}:where(.logicpenguin) derivation-hurley .derivationline.lp-active-derivation-line:before{opacity:1;transform:scale(1);border-color:#2563eb59;background:linear-gradient(90deg,#2563eb1a,#38bdf80f,#2563eb1a);animation:lpDerivationFocusPulse 1.6s ease-in-out infinite}:where(.logicpenguin) derivation-hurley .derivationline.lp-active-derivation-line input.formulainput,:where(.logicpenguin) derivation-hurley .derivationline.lp-active-derivation-line input.justification{border-color:#2563eb7a;box-shadow:0 0 0 2px #2563eb1f,inset 0 1px 2px #00000005}body[data-theme=dark] :where(.logicpenguin) derivation-hurley .derivationline.lp-active-derivation-line:before{border-color:#38bdf866;background:linear-gradient(90deg,#38bdf81c,#2563eb17,#38bdf81c)}body[data-theme=dark] :where(.logicpenguin) derivation-hurley .derivationline.lp-active-derivation-line input.formulainput,body[data-theme=dark] :where(.logicpenguin) derivation-hurley .derivationline.lp-active-derivation-line input.justification{border-color:#38bdf87a;box-shadow:0 0 0 2px #38bdf81f,inset 0 1px 2px #0003}@keyframes lpDerivationFocusPulse{0%{box-shadow:0 0 #38bdf81f}50%{box-shadow:0 0 0 6px #38bdf808}to{box-shadow:0 0 #38bdf81f}}:where(.logicpenguin) derivation-hurley .derivationline .derivationlinenumber{font-weight:600;color:#1f2937b8;display:flex;align-items:center;justify-content:center;width:3rem}body[data-theme=dark] :where(.logicpenguin) derivation-hurley .derivationline .derivationlinenumber{color:#ffffffc2}:where(.logicpenguin) derivation-hurley .derivationline input.formulainput,:where(.logicpenguin) derivation-hurley .derivationline input.justification{width:100%;border:1px solid rgba(79,91,122,.25);border-radius:8px;padding:10px 12px;line-height:1.4;height:44px;font-size:15px;background:#fff;box-shadow:inset 0 1px 2px #00000005}:where(.logicpenguin) derivation-hurley .derivationline input.justification{min-width:0}@media (max-width: 900px){:where(.logicpenguin) derivation-hurley .derivationline{grid-template-columns:auto 1fr;grid-template-rows:auto auto;gap:8px}:where(.logicpenguin) derivation-hurley .derivationline .derivationlinenumber{grid-row:1 / span 2;align-self:start}:where(.logicpenguin) derivation-hurley .derivationline input.justification{grid-column:2}}