/* Course-specific reading hierarchy. Equations retain their original notation. */
.logic-lab .logic-exercise{font:400 14px/1.8 var(--sans)}
.logic-lab .logic-exercise p{font:inherit;line-height:1.8}
.logic-lab .logic-exercise .labk{font:400 12px/1.8 var(--sans)!important;text-transform:none;letter-spacing:0;color:var(--lab-muted)}
.logic-lab code{font-size:14px;line-height:1.8;text-transform:none;overflow-wrap:anywhere}
.logic-lab .logic-exercise input[type=text]{min-width:0!important;width:100%;min-height:46px;box-sizing:border-box}
.logic-lab .logic-exercise .btn{background:var(--lab-soft);color:var(--ink);border:1px solid var(--lab-line)}
.logic-lab .logic-exercise .btn.primary,.logic-lab .logic-exercise .btn.logic-selected{background:var(--lab-accent-soft);color:var(--lab-accent);border-color:var(--lab-accent)}
.logic-lab .logic-symbol{display:flex;align-items:center;gap:7px;min-width:48px!important;padding:8px 11px!important;font-size:17px}
.logic-lab .logic-symbol small{font:400 10px/1.4 var(--sans);max-width:12ch}
.logic-lab .logic-question{padding:18px!important;margin:12px 0!important;border:1px solid var(--lab-line);border-radius:10px;background:var(--lab-soft)}
.logic-lab .logic-question>span:first-child{flex-basis:100%!important;font-weight:500;min-width:0!important}
.logic-lab .logic-claim{display:grid!important;grid-template-columns:minmax(0,1fr) auto auto;gap:10px!important;padding:18px;margin:12px 0!important;border:1px solid var(--lab-line);border-radius:10px;background:var(--lab-soft)}
.logic-lab .logic-claim>code{grid-column:1/-1;grid-row:2;min-width:0!important;color:var(--lab-muted)}
.logic-lab .logic-claim>span:nth-child(2){font-size:14px!important;color:var(--ink)!important;min-width:0!important;text-transform:none}
.logic-lab .logic-proof-line{padding:12px!important;border:1px solid var(--lab-line);border-radius:8px!important;margin:7px 0}
.logic-lab .logic-proof-line:focus-visible{outline:2px solid var(--lab-gold);outline-offset:2px}
.logic-glossary{padding:17px 20px;border:1px solid var(--lab-line);border-radius:10px;margin:22px 0 0;font:400 12px/1.8 var(--sans)}
.logic-glossary summary,.logic-task summary{cursor:pointer;font-weight:500;color:var(--lab-accent)}
.logic-glossary dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px 22px;margin:17px 0}
.logic-glossary dl>div{display:flex;gap:14px;align-items:baseline}
.logic-glossary dt{font:500 20px/1.5 var(--sans);width:22px;flex:none;color:var(--lab-accent)}
.logic-glossary dd{margin:0}.logic-glossary p{font:inherit;color:var(--lab-muted);margin-bottom:0}
.logic-world{font:400 13px/1.8 var(--sans)}
.logic-world [hidden]{display:none!important}
.logic-world .logic-step{font:500 16px/1.5 var(--sans);margin:27px 0 8px;letter-spacing:-.015em}
.logic-world .logic-instruction{color:var(--lab-muted);margin:0 0 20px;font:400 12px/1.8 var(--sans)}
.logic-objects{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin:24px 0 20px}
.logic-object{min-width:0;margin:0;border:1px solid var(--lab-line);border-radius:12px;background:var(--lab-soft);padding:14px}
.logic-object legend{padding:0 7px;font:500 11px/1.5 var(--sans);color:var(--lab-muted)}
.logic-shape{height:52px;width:52px;background:var(--lab-gold);border:2px solid var(--lab-gold);border-radius:6px;margin:12px auto 25px;transition:background .18s,border-radius .18s}
.logic-shape[data-circle=true]{border-radius:50%}
.logic-shape[data-red=true]{background:var(--lab-accent);border-color:var(--lab-accent)}
.logic-object-field{display:block;margin-top:12px;min-width:0}
.logic-object-field>span{display:block;font-size:10px;color:var(--lab-muted);margin-bottom:4px}
.logic-object-field select{width:100%;font-size:12px;background:var(--lab-surface)}
.logic-empty{padding:28px;border:1px dashed var(--lab-gold);border-radius:12px;background:var(--lab-soft);margin-top:22px;color:var(--lab-muted)}
.logic-live{font:400 12px/1.7 var(--sans);color:var(--lab-muted);margin:0 0 16px}
.logic-results{display:grid;gap:11px}
.logic-result{border:1px solid var(--lab-line);border-radius:12px;padding:20px 22px;background:var(--lab-surface)}
.logic-result-heading{display:flex;align-items:baseline;justify-content:space-between;gap:15px}
.logic-result h5{font:500 15px/1.6 var(--sans);margin:0;text-transform:none;letter-spacing:0}
.logic-verdict{font:500 11px/1.5 var(--sans);white-space:nowrap;border-radius:6px;padding:5px 9px;color:var(--bad);background:var(--bad-soft)}
.logic-result[data-truth=true] .logic-verdict{color:var(--ok);background:var(--ok-soft)}
.logic-reason{font:400 12px/1.8 var(--sans);color:var(--lab-muted);margin:10px 0 14px;max-width:68ch}
.logic-formula{border-top:1px solid var(--lab-line);padding-top:12px;display:flex;flex-wrap:wrap;gap:5px 16px;align-items:baseline}
.logic-formula>span{font:400 10px/1.8 var(--sans);color:var(--lab-muted)}
.logic-formula code{font:400 13px/1.8 var(--mono,monospace)}
.logic-task{border-left:3px solid var(--lab-gold);background:var(--lab-soft);border-radius:0 10px 10px 0;padding:20px 23px;margin-top:24px}
.logic-task h4{font:500 15px/1.5 var(--sans);margin:0 0 9px}
.logic-task p{font:400 12px/1.9 var(--sans);margin:10px 0}
.logic-task-status:empty{display:none}
.logic-task-status{color:var(--ok)}
@media(max-width:600px){
  .logic-objects{gap:8px}.logic-object{padding:10px 8px}.logic-object legend{font-size:10px;padding:0 3px}
  .logic-shape{width:39px;height:39px;margin-bottom:19px}
  .logic-object-field select{padding:9px 5px;font-size:11px}
  .logic-result{padding:16px}.logic-result-heading{align-items:flex-start;flex-wrap:wrap;gap:7px}
  .logic-result h5{font-size:14px}.logic-result .logic-formula code{font-size:12px}
  .logic-glossary dl{grid-template-columns:1fr}.logic-lab .logic-claim{grid-template-columns:1fr 1fr}
  .logic-lab .logic-claim>span:nth-child(2){grid-column:1/-1;grid-row:1}
  .logic-lab .logic-claim>code{grid-row:2}
}
@media(max-width:600px){
  .logic-objects{grid-template-columns:1fr;gap:14px}
  .logic-object{display:grid;grid-template-columns:50px minmax(0,1fr);gap:8px 12px;align-items:center;padding:10px 12px 14px}
  .logic-shape{grid-column:1;grid-row:1/3;margin:0}
  .logic-object-field{grid-column:2;display:grid;grid-template-columns:36px minmax(0,1fr);gap:6px;align-items:center;margin:0}
  .logic-object-field>span{margin:0}.logic-object-field select{font-size:12px}
}