body{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;margin:0;overflow:hidden;overscroll-behavior:none}code{font-family:source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace}.App{text-align:center}.App-logo{height:40vmin;pointer-events:none}@media (prefers-reduced-motion:no-preference){.App-logo{animation:App-logo-spin 20s linear infinite}}.App-header{align-items:center;background-color:#282c34;color:#fff;display:flex;flex-direction:column;font-size:calc(10px + 2vmin);justify-content:center;min-height:100vh}.App-link{color:#61dafb}@keyframes App-logo-spin{0%{transform:rotate(0deg)}to{transform:rotate(1turn)}}.InferenceArea{align-items:center;display:flex;justify-content:center;text-align:center}#root,.App,.InferenceArea,body,html{height:100%;width:100%}.main,.main_centered{display:flex;flex-direction:row;position:absolute}.main_centered{left:30%;right:50%;top:30%}hr{border:1.5px solid #969696;display:inline-block;margin:0!important;padding:0!important;width:100%}.hr-sect{align-items:center;cursor:move;display:flex;flex-basis:100%;font-size:10px;margin:2px 0}.hr-sect:before{background:#000;content:"";flex-grow:1;font-size:0;height:2px;line-height:0px;margin:0 4px}.hr-sect:after{content:"";flex-grow:0}.dropzone{background-color:#bfe4ff;border:3px dashed #aaa;border-radius:3px;padding:3px;transition:background-color .3s}.separator{align-items:center;cursor:move;display:flex;text-align:right}.separator:hover:before{border-bottom-color:#1565c0}.separator:before{border-bottom:1px solid #000;content:"";flex:1 1}.separator:not(:empty):before{margin-right:.25em}.hphantom{opacity:0}.nobreak_center,.nobreak_center>div{display:inline-block;white-space:nowrap}.small_spacer{width:20px}.error{background-color:#ff481a66}.finished{background-color:#0f06}.pt-var{border-bottom:1px dotted #1565c080;border-radius:2px;color:#1565c0;cursor:pointer;font-style:italic;transition:background-color .12s ease}.pt-var:hover{background-color:#1565c01f}.pt-var sub{font-size:.7em;font-style:normal}.rule_select_wrap{align-items:center;display:inline-flex;gap:2px}.pt-exporting{transform:none!important}.pt-exporting .MuiButtonBase-root,.pt-exporting .rule_select_wrap,.pt-exporting button{display:none!important}.auto_subtree_btn{color:#6a1b9a!important}.codebox{border:1px solid #ccc;max-height:100px;overflow:auto;text-align:left;white-space:nowrap}.InferenceInterface{height:94vh;padding:2%;width:94vw}@media (max-width:768px){.InferenceInterface{height:100vh;height:100dvh;padding:0;width:100vw}}.rowC{display:flex;flex-direction:row;height:100%;width:100%}.leftcol{overflow:scroll;width:20%}.rightcol{height:100%;width:100%}.GoalPreview{background:#fafafa;border:1px solid #e0e0e0;border-radius:6px;margin-top:16px;padding:10px 12px}.GoalPreview__label{color:#888;font-size:.72em;letter-spacing:.04em;margin-bottom:6px;text-transform:uppercase}.GoalPreview__rendered{font-size:1.15em;overflow-x:auto;white-space:nowrap}.GoalPreview__error{color:#c62828;font-size:.85em;white-space:pre-wrap}.TermInput{display:flex;flex-direction:column}.TermInput--tight .MuiTextField-root{margin-bottom:2px;margin-top:2px}.GoalPreview--tight{margin-top:8px;padding:6px 8px}.GoalPreview--tight .GoalPreview__rendered{font-size:1em}.CalculusRules{display:flex;flex-direction:column;gap:10px;width:100%}.CalculusRules__add{display:flex;flex-direction:column;gap:8px}.CalculusRules__addRow{align-items:center;display:flex;flex-direction:row;gap:8px}.CalculusRules__hint{color:#666;font-size:.8em;line-height:1.3}.CalculusRules__list{display:flex;flex-direction:column;gap:4px}.CalculusRules__groups{display:flex;flex-direction:column;gap:8px}.RuleGroup{border:1px solid #e2e2e2;border-radius:6px;overflow:hidden}.RuleGroup--disabled{opacity:.55}.RuleGroup__header{align-items:center;background:#f2f4f7;display:flex;gap:2px;padding:2px 4px}.RuleGroup__name{cursor:pointer;flex:1 1;font-size:.9em;font-weight:600;-webkit-user-select:none;user-select:none}.RuleGroup__count{background:#90a4ae;border-radius:9px;color:#fff;font-size:.72em;margin-right:2px;padding:1px 7px}.RuleGroup__rules{display:flex;flex-direction:column;gap:4px;padding:6px}.CalculusRule__controls{align-items:center;background:#ffffffd9;border-radius:4px;display:flex;opacity:.4;position:absolute;right:1px;top:1px;transition:opacity .12s ease;z-index:1}.CalculusRule:hover .CalculusRule__controls{opacity:1}.CalculusRule--disabled>.rule{filter:grayscale(.6);opacity:.45}.CalculusRules__empty{color:#888;font-size:.85em;font-style:italic;padding:8px 2px}.CalculusRule{background:#fff;border:1px solid #eee;border-radius:6px;overflow:hidden;padding:8px 8px 10px;position:relative;width:100%}.CalculusRule:hover{background:#fcfcfd;border-color:#d0d0d0}.CalculusRule__delete{opacity:.35;position:absolute!important;right:2px;top:2px;transition:opacity .12s ease;z-index:1}.CalculusRule:hover .CalculusRule__delete{opacity:1}.CalculusRule>.rule{height:auto;overflow-x:auto;transform:scale(.82);transform-origin:0 0;width:122%}.add{align-items:center;justify-content:center}.ExtensionsPanel{font-size:.9em;width:100%}.ExtensionsPanel__help{color:#444;font-size:.85em;line-height:1.35}.ExtensionsPanel__hint{color:#666;font-size:.78em;line-height:1.3;margin:2px 0 6px}.ExtensionsPanel h4{margin:12px 0 2px}.ExtensionsPanel__scroll{max-width:100%;overflow-x:auto}.ExtensionsPanel__table{border-collapse:collapse;min-width:260px;width:100%}.ExtensionsPanel__table td,.ExtensionsPanel__table th{border-bottom:1px solid #eee;padding:2px 4px;text-align:left;vertical-align:bottom}.ExtensionsPanel__table th{color:#888;font-size:.75em;font-weight:600}.ExtensionsPanel__table code{background:#f4f4f4;border-radius:3px;font-size:.95em;padding:0 3px}.ExtensionsPanel__add td{border-bottom:none}.Sidebar{background:#fafafa;border-right:1px solid #e0e0e0;height:100%;overflow-x:hidden;overflow-y:auto}.Sidebar--collapsed{align-items:center;display:flex;flex-direction:column;gap:8px;padding-top:6px;width:100%}.Sidebar__collapsedIcon{color:#9e9e9e}.Sidebar__header{align-items:center;background:#f0f0f0;border-bottom:1px solid #e0e0e0;display:flex;justify-content:space-between;padding:4px 6px 4px 12px;position:-webkit-sticky;position:sticky;top:0;z-index:2}.Sidebar__heading{color:#555;font-size:.9em;font-weight:600}.Sidebar__sectionTitle{flex:1 1;font-size:.92em;font-weight:600}.Sidebar__badge{align-self:center;background:#1565c0;border-radius:10px;color:#fff;font-size:.7em;margin-left:8px;padding:1px 7px}.Sidebar .MuiAccordionSummary-root{background:#f7f7f7;min-height:40px}.Sidebar .MuiAccordionDetails-root{padding:8px 10px 12px}.tb-panels-btn{display:none!important}@media (max-width:768px){.tb-panels-btn{display:inline-flex!important}.AppToolbar .tb-label{display:none}.AppToolbar .MuiButton-root{min-width:0;padding-left:6px;padding-right:6px}.AppToolbar .MuiButton-startIcon{margin-left:0;margin-right:0}.AppToolbar .MuiToolbar-root{gap:2px;padding-left:4px;padding-right:4px}}.w-split{--w-split-bar-shadow:#d5d5d5;--w-split-bar-shadow-disable:#d5d5d5;display:flex;flex-direction:row;height:100%}.w-split-bar{background:#f8f8f9;background:var(--w-split-bar-background,#f8f8f9);display:flex;justify-content:center;position:relative;-webkit-user-select:none;user-select:none;z-index:10}.w-split-bar:after,.w-split-bar:before{content:"";display:block}.w-split-bar.disable{cursor:not-allowed!important;pointer-events:none}.w-split-bar:hover:not(.disable){background:#ecf7ff;background:var(--w-split-bar-hover-background,#ecf7ff);transition:background-color .3s}.w-split.dragging .w-split-pane{position:relative}.w-split.dragging .w-split-pane:before{content:"";display:block;height:100%;position:absolute;width:100%;z-index:10}.w-split>.w-split-pane{transform:none}.w-split:not(.dragging)>.w-split-pane{transition:all .3s}.w-split-horizontal>.w-split-bar{box-shadow:inset 1px 0 0 0 var(--w-split-bar-shadow),1px 0 0 0 var(--w-split-bar-shadow);cursor:col-resize;flex-direction:column;width:5px}.w-split-horizontal>.w-split-bar:after,.w-split-horizontal>.w-split-bar:before{box-shadow:inset 0 1px 0 0 var(--w-split-bar-shadow),0 1px 0 0 var(--w-split-bar-shadow);height:3px;width:100%}.w-split-horizontal>.w-split-bar:before{margin-top:-1px}.w-split-horizontal>.w-split-bar:after{margin-top:3px}.w-split-horizontal>.w-split-bar.disable{box-shadow:inset 1px 0 0 0 var(--w-split-bar-shadow-disable),1px 0 0 0 var(--w-split-bar-shadow-disable)!important}.w-split-vertical{flex-direction:column}.w-split-vertical>.w-split-bar{align-items:center;box-shadow:inset 0 1px 0 0 var(--w-split-bar-shadow),0 1px 0 0 var(--w-split-bar-shadow);cursor:row-resize;flex-direction:row;height:5px;width:100%}.w-split-vertical>.w-split-bar.disable{box-shadow:inset 0 1px 0 0 var(--w-split-bar-shadow-disable),0 1px 0 0 var(--w-split-bar-shadow-disable)!important}.w-split-vertical>.w-split-bar:after,.w-split-vertical>.w-split-bar:before{box-shadow:inset 1px 0 0 0 var(--w-split-bar-shadow),1px 0 0 0 var(--w-split-bar-shadow);height:100%;width:3px}.w-split-vertical>.w-split-bar:before{margin-left:-1px}.w-split-vertical>.w-split-bar:after{margin-left:3px}.w-split-large-bar div{bottom:0;left:0;position:absolute;right:0;top:0}.w-split-horizontal>.w-split-line-bar:hover:before,.w-split-vertical>.w-split-line-bar:hover:before{background:#008ef0;background:var(--w-split-line-bar-hover-border-color,#008ef0)}.w-split-vertical>.w-split-line-bar{height:1px}.w-split-vertical>.w-split-line-bar div{cursor:row-resize;height:8px;margin-bottom:-2px;margin-top:-2px;width:100%}.w-split-vertical>.w-split-line-bar div:active,.w-split-vertical>.w-split-line-bar div:focus,.w-split-vertical>.w-split-line-bar div:hover{height:6px;margin-bottom:-6px;margin-top:-6px}.w-split-vertical>.w-split-line-bar div:active:after,.w-split-vertical>.w-split-line-bar div:focus:after,.w-split-vertical>.w-split-line-bar div:hover:after{background:#008ef0;background:var(--w-split-line-bar-active-background,#008ef0)}.w-split-vertical>.w-split-line-bar div:after{height:1px;width:100%}.w-split-horizontal>.w-split-line-bar{width:1px}.w-split-horizontal>.w-split-line-bar div{cursor:col-resize;height:100%;margin-left:-2px;margin-right:-2px;width:8px}.w-split-horizontal>.w-split-line-bar div:active,.w-split-horizontal>.w-split-line-bar div:focus,.w-split-horizontal>.w-split-line-bar div:hover{margin-left:-6px;margin-right:-6px;width:6px}.w-split-horizontal>.w-split-line-bar div:active:after,.w-split-horizontal>.w-split-line-bar div:focus:after,.w-split-horizontal>.w-split-line-bar div:hover:after{background:#008ef0;background:var(--w-split-line-bar-active-background,#008ef0)}.w-split-horizontal>.w-split-line-bar div:after{height:100%;width:1px}.w-split-horizontal>.w-split-line-bar,.w-split-vertical>.w-split-line-bar{flex-direction:inherit}.w-split-horizontal>.w-split-line-bar:before,.w-split-vertical>.w-split-line-bar:before{display:none}.w-split-horizontal>.w-split-line-bar div,.w-split-vertical>.w-split-line-bar div{align-items:center;display:flex;justify-content:center;position:relative}.w-split-horizontal>.w-split-line-bar div:after,.w-split-vertical>.w-split-line-bar div:after{background-color:#d5d5d5;background-color:var(--w-split-line-bar-background,#d5d5d5);content:"";display:block}.w-split-line-bar{background:#0000}.w-split-line-bar,.w-split-line-bar:before{box-shadow:inset 0 0 0 0!important}.w-split-line-bar:after{display:none}