.logic-keyboard[hidden],.logic-keyboard-launcher[hidden]{display:none!important}
.logic-keyboard-step[hidden]{display:none!important}.logic-keyboard-step{max-height:76px;overflow:auto;font-size:14px;line-height:1.5;padding:0 3px 9px;color:#38202c;white-space:pre-wrap}
.logic-keyboard{position:fixed;z-index:900;bottom:var(--logic-viewport-gap,0px);left:50%;transform:translateX(-50%);width:min(100%,640px);box-sizing:border-box;max-height:calc(var(--logic-viewport-height,100dvh) - 85px);overflow:auto;overscroll-behavior:contain;padding:5px 7px max(7px,env(safe-area-inset-bottom));background:#f7e9ef;border:1px solid #d8b9c6;border-bottom:0;border-radius:14px 14px 0 0;box-shadow:0 -5px 24px #3a102315;font-family:var(--font,system-ui,sans-serif)}
.logic-keyboard-top{display:flex;align-items:center;gap:8px;min-height:36px;margin-bottom:4px}.logic-keyboard-top>[role=status]{flex:1;font-size:12px;color:#7e2148}.logic-keyboard .logic-key{margin:0;min-width:0;min-height:44px;padding:6px 2px;border:1px solid #dcbfcb;border-radius:7px;background:#fffafd;color:#38202c;box-shadow:0 1px 0 #c3a1b2;font:500 23px/1.1 var(--font,system-ui,sans-serif);touch-action:manipulation;-webkit-user-select:none;user-select:none;-webkit-tap-highlight-color:transparent;cursor:pointer;display:flex;align-items:center;justify-content:center;letter-spacing:0;text-transform:none}
.logic-keyboard .logic-key:active{background:#eac2d4;transform:translateY(1px);box-shadow:none}.logic-keyboard .logic-key:focus-visible,.logic-keyboard-launcher:focus-visible{outline:3px solid #a12652;outline-offset:2px}.logic-keyboard .logic-key:disabled{opacity:.4;cursor:default}.logic-keyboard-top .logic-key{min-width:56px;min-height:36px;font-size:13px;background:transparent;border-color:transparent;box-shadow:none}
.logic-keys,.logic-keyboard-bottom{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:5px}.logic-keyboard-bottom{position:sticky;bottom:-1px;padding:6px 0 1px;background:#f7e9ef}.logic-keyboard-bottom .logic-key{font-size:20px}.logic-keyboard .logic-key[data-logic-text=" "],.logic-keyboard .logic-key[data-logic-command=native],.logic-keyboard .logic-key[data-logic-command=numbers]{font-size:14px}.logic-keyboard .logic-key-primary{font-size:14px;font-weight:650;background:#a12652;color:#fff;border-color:#a12652;box-shadow:0 1px 0 #76183b}.logic-keyboard .logic-key-primary:active{background:#7e1b40}.logic-keyboard-launcher{position:fixed;z-index:901;bottom:calc(var(--logic-viewport-gap,0px) + 8px);right:12px;min-height:44px;min-width:64px;padding:8px 12px;border:1px solid #a12652;border-radius:9px;background:#a12652;color:white;font:600 14px var(--font,system-ui);touch-action:manipulation}
body.logic-keyboard-open{padding-bottom:calc(var(--logic-keyboard-height,310px) + 18px)!important}.logic-keyboard-open .tutorial-panel{display:none!important}.logic-keyboard-open .tutorial-highlight{box-shadow:none!important}.logic-keyboard-open #symbol-toolbar,.logic-keyboard-open #symbol-toolbar-deriv{display:none!important}.logic-keyboard-open input{scroll-margin-bottom:calc(var(--logic-keyboard-height,310px) + 18px)}
@media(max-width:900px),(pointer:coarse){input.formula-answer,#command-input,#formula-input,#premises-input,#conclusion-input{font-size:18px!important}}
@media(min-width:600px) and (max-height:500px){.logic-keyboard{width:100%;max-width:900px}.logic-keys{grid-template-columns:repeat(12,minmax(0,1fr))}.logic-keyboard-top{min-height:30px}.logic-keyboard-top .logic-key{min-height:30px}.logic-keyboard-bottom{max-width:600px;margin:auto}}