/* Shared layout for the Logic course tools. Quiet on purpose: one task at a time. */
.tool-main{padding-bottom:48px}
.tool-kicker{margin:18px 0 0}
.tool-main h1{font-family:var(--display);font-weight:700;font-size:clamp(32px,5vw,48px);line-height:1.05;color:var(--forge);margin:6px 0 8px}
.tool-lead{margin:0 0 14px;max-width:68ch;font-size:18px}
.tool-links{display:flex;flex-wrap:wrap;gap:8px 14px;margin:0 0 18px;padding:0;list-style:none}
.tool-links a{font-weight:700}
.panel{background:var(--paper);border:1px solid var(--line);border-radius:12px;padding:16px;margin:0 0 16px}
.toolbar{display:flex;flex-wrap:wrap;gap:10px;align-items:end;margin:0 0 12px}
.toolbar label,.field label{display:flex;flex-direction:column;gap:4px;font-size:14px;font-weight:700;color:var(--muted)}
.toolbar select,.field input,.field select,.sym-row input,textarea.logic{
  font:inherit;font-size:17px;color:var(--ink);background:var(--paper);border:2px solid var(--line);border-radius:8px;
  min-height:44px;padding:8px 10px}
textarea.logic{width:100%;min-height:72px;resize:vertical}
.formula{font-family:var(--serif);font-size:clamp(22px,4vw,30px);line-height:1.35;margin:8px 0}
.gloss{color:var(--muted);margin:0 0 8px}
.help{color:var(--muted);font-size:15px;margin:8px 0}
.tablewrap{overflow-x:auto;-webkit-overflow-scrolling:touch;margin:8px 0}
table.tt{border-collapse:collapse;min-width:100%}
table.tt th,table.tt td{border:1px solid var(--line);padding:4px;text-align:center;min-width:52px;font-family:var(--serif);font-size:18px}
table.tt th{font-family:var(--sans);font-size:15px;font-weight:700;background:var(--linen)}
table.tt td.given{background:var(--linen);color:var(--ink)}
button.cell{font:inherit;font-family:var(--serif);font-size:18px;min-width:48px;min-height:44px;border:2px solid transparent;border-radius:6px;background:transparent;cursor:pointer;color:var(--ink)}
button.cell:focus-visible,button.pin:focus-visible,button.switch:focus-visible,button.lamp:focus-visible{outline:3px solid var(--brass);outline-offset:2px}
button.cell.right{background:#E3F0E3;border-color:#2F6B3A}
button.cell.wrong{background:#F8E3DE;border-color:#9A2B1E}
@media (prefers-color-scheme:dark){
  button.cell.right{background:#1F3324;border-color:#9BD3A3}
  button.cell.wrong{background:#3A221D;border-color:#F0A090}
}
:root[data-theme=dark] button.cell.right{background:#1F3324;border-color:#9BD3A3}
:root[data-theme=dark] button.cell.wrong{background:#3A221D;border-color:#F0A090}
.ask{border:1px solid var(--line);border-radius:10px;padding:12px;margin:12px 0}
.ask legend{font-weight:700;padding:0 6px}
.ask label{display:flex;align-items:center;gap:8px;min-height:44px;font-weight:600}
.result{min-height:1.4em;font-weight:700;margin:8px 0}
.result.ok{color:#2F6B3A}
.result.no{color:#9A2B1E}
@media (prefers-color-scheme:dark){.result.ok{color:#9BD3A3}.result.no{color:#F0A090}}
:root[data-theme=dark] .result.ok{color:#9BD3A3}
:root[data-theme=dark] .result.no{color:#F0A090}
.sym-row{display:flex;flex-wrap:wrap;gap:8px;margin:8px 0}
.sym-row button{min-width:44px;min-height:44px;font-family:var(--serif);font-size:20px}
details.rules{margin:8px 0 18px}
details.rules summary{cursor:pointer;font-weight:700;min-height:44px;display:flex;align-items:center}
.rules ul{margin:8px 0 0;padding-left:1.2em}
.tree{display:flex;flex-direction:column;gap:10px}
.node{border:1px solid var(--line);border-radius:10px;padding:8px;background:var(--ground)}
.node.closed{opacity:.72}
.node h3{margin:0 0 6px;font-size:14px;font-family:var(--sans);color:var(--muted);font-weight:700}
.fbtn{display:block;width:100%;text-align:left;font-family:var(--serif);font-size:18px;min-height:44px;margin:4px 0;padding:6px 10px;border-radius:8px;border:2px solid var(--line);background:var(--paper);cursor:pointer;color:inherit}
.fbtn.on{border-color:var(--forge);background:var(--linen)}
.fbtn small{display:block;font-family:var(--sans);font-size:13px;color:var(--muted)}
.kids{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:8px;margin-top:8px}
.workbox{display:grid;gap:8px}
.workbox .cols{display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:8px}
.lab{display:grid;gap:12px}
@media (min-width:900px){
  .lab-top{display:grid;grid-template-columns:minmax(180px,220px) 1fr;gap:12px;align-items:start}
}
.io{display:flex;flex-direction:column;gap:8px;min-width:0;position:relative;z-index:2}
.io-row{display:flex;align-items:center;gap:0;min-width:0}
button.switch,.lamp{font:inherit;font-weight:700;min-height:48px;border-radius:10px;border:2px solid var(--line);background:var(--paper);color:var(--ink);cursor:pointer}
button.switch{flex:1;min-width:0}
.lamp{flex:1;display:flex;align-items:center;justify-content:center;margin:0;padding:8px 10px;text-align:center;cursor:default;min-width:0}
button.switch[aria-pressed="true"]{border-color:var(--forge);background:var(--linen)}
.lamp.on{background:#F3DFA9;border-color:var(--brass)}
button.dot{flex:0 0 44px;width:44px;height:44px;min-width:44px;padding:0;border:none;background:transparent;cursor:pointer;position:relative;z-index:4}
button.dot span,button.port span{display:block;width:16px;height:16px;margin:14px auto;border-radius:50%;border:2px solid var(--forge);background:var(--paper);box-sizing:border-box;pointer-events:none}
button.dot.hot span,button.port.hot span{background:var(--linen);box-shadow:0 0 0 3px var(--linen)}
.palette{display:flex;flex-wrap:wrap;gap:8px}
.board{position:relative;display:grid;grid-template-columns:minmax(148px,200px) minmax(0,1fr);gap:12px;align-items:start;min-height:440px;padding:14px 16px 16px;border:1px dashed var(--line);border-radius:12px;background:var(--ground)}
.stage{position:relative;min-height:380px;min-width:0}
.gate{position:absolute;width:120px;height:132px;background:var(--paper);border:2px solid var(--line);border-radius:10px;padding:8px 14px 8px 16px;z-index:2;box-sizing:border-box}
.gate.heady{display:flex;justify-content:space-between;align-items:center;gap:4px;cursor:grab;touch-action:none;min-height:32px;padding:0 2px 0 6px}
.gate.heady strong{font-size:14px;line-height:1.2}
.gate .gsym{font-family:var(--serif);font-size:22px;margin:10px 0 0;line-height:1;text-align:center}
button.port{position:absolute;z-index:4;width:44px;height:44px;min-width:44px;min-height:44px;padding:0;border:none;background:transparent;cursor:pointer;color:inherit}
button.port.in[data-pin="in0"]{left:-22px;top:46px}
button.port.in[data-pin="in1"]{left:-22px;top:84px}
button.port.out{right:-22px;top:64px}
button.port.solo{top:64px}
button.icon{min-width:36px;min-height:32px;border:none;background:transparent;cursor:pointer;font-size:20px;color:var(--muted)}
svg.wires{position:absolute;inset:0;width:100%;height:100%;overflow:visible;pointer-events:none;z-index:1}
.row-now{outline:2px solid var(--forge)}
.sr{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);border:0}
@media (max-width:700px){
  .board{grid-template-columns:minmax(112px,46%) minmax(0,1fr);gap:8px;padding:10px;min-height:0}
  .stage{min-height:280px}
  .panel{padding:12px}
  button.switch,.lamp{font-size:15px;padding:6px 8px}
}