/* 프로그래밍 언어론 12강 전용 스타일: 그림 속 글씨 크기, 코드 상자, 시간 줄, 태스크 표시, 자물쇠 */

/* 그림 속 글씨는 12px 이상 */
.viz text.s,
.viz text.n,
.viz text.v-num { font-size: 12px; }
.viz text.v-num.big { font-size: 20px; }
.viz text.k { fill: var(--key); font-weight: 700; }
.viz text.v { fill: var(--value); font-weight: 700; }
.viz text.bad { font-weight: 700; }
.viz text.tag { font-size: 12px; font-weight: 700; fill: var(--muted); }
.viz text.fx { transition: opacity 0.3s ease, fill 0.3s ease; }
.viz text.dim { opacity: 0.35; }

/* 코드 글씨 */
.viz text.code {
  font-family: var(--mono);
  font-size: 12.5px;
  fill: var(--text);
}
.viz text.code.m { fill: var(--muted); }
.viz text.code.on { fill: var(--accent); }
.viz text.code.k { fill: var(--key); }
.viz text.code.bad { fill: var(--value); }
.viz text.code tspan { transition: fill 0.3s ease, fill-opacity 0.3s ease; }
.viz text.code tspan.on { fill: var(--accent); font-weight: 700; }
.viz text.code tspan.k { fill: var(--key); font-weight: 700; }
.viz text.code tspan.v,
.viz text.code tspan.bad { fill: var(--value); font-weight: 700; }
.viz text.code tspan.m { fill: var(--muted); }
.viz text.code tspan.hide { fill-opacity: 0; }

/* 코드 상자와 줄 강조 */
.v-code { fill: #0a0c10; stroke: var(--line); }
.v-codeblock { transition: opacity 0.3s ease; }
.v-codeblock.dim { opacity: 0.4; }
.v-codeblock.hide { opacity: 0; }
.v-hl { fill: var(--accent); opacity: 0.2; }
.v-hl.bad { fill: var(--value); opacity: 0.24; }
.v-hl.k { fill: var(--key); opacity: 0.22; }
.v-hl.hide { opacity: 0; }
.v-hl.cur { opacity: 0.48; }

/* 칩: 틀림(붉은 테두리), 청록 */
.v-chip.bad rect { fill: none; stroke: var(--value); stroke-width: 1.5; }
.v-chip.bad text { fill: var(--value); }
.v-chip.k rect { fill: none; stroke: var(--key); stroke-width: 1.5; }
.v-chip.k text { fill: var(--key); }
.v-chip.kk rect { fill: var(--key); }
.v-chip.kk text { fill: var(--on-accent); }

/* 메모리 칸, 표의 칸 */
.v-cellbox {
  fill: var(--surface-2);
  stroke: transparent;
  stroke-width: 1.5;
  transition: stroke 0.25s ease, fill 0.3s ease, opacity 0.3s ease;
}
.v-cellbox.k { stroke: var(--key); }
.v-cellbox.on { stroke: var(--accent); fill: color-mix(in srgb, var(--accent) 20%, var(--surface)); }
.v-cellbox.bad { stroke: var(--value); fill: color-mix(in srgb, var(--value) 20%, var(--surface)); }
.v-cellbox.dim { opacity: 0.4; }

/* 체크와 가위표 */
.v-mark {
  fill: none;
  stroke: var(--accent);
  stroke-width: 2.6;
  stroke-linecap: round;
  stroke-linejoin: round;
  transition: opacity 0.3s ease;
}
.v-mark.bad { stroke: var(--value); }
.v-mark.hide { opacity: 0; }

/* 틀, 상자 */
.v-frame { transition: stroke 0.3s ease, opacity 0.3s ease; }
.v-frame.bad { stroke: var(--value); }
.v-frame.k { stroke: var(--key); }
.v-frame.soft { fill: none; stroke-dasharray: 3 3; }
.v-box rect { transition: stroke 0.3s ease; }
.v-box.fx { transition: opacity 0.3s ease; }
.v-step { transition: opacity 0.3s ease; }
.v-step.dim { opacity: 0.4; }
.v-step.bad .bg { stroke: var(--value); }

/* 곧은 점선 (V.path 는 길이를 1로 맞추므로 점선은 따로 그린다) */
.v-rule { fill: none; stroke: var(--line); stroke-width: 1.2; }
.v-rule.dot { stroke: var(--muted); stroke-dasharray: 3 4; }
.v-rule.on { stroke: var(--accent); }

/* 선과 화살표의 색 바꾸기 */
.v-line.fx { transition: opacity 0.3s ease, stroke 0.3s ease, stroke-width 0.3s ease; }
.v-line.hide, .v-vector.hide { opacity: 0; }
.v-line.soft { stroke: var(--line); }
.v-vector { transition: opacity 0.3s ease; }
.v-vector line, .v-vector path { transition: stroke 0.3s ease; }
.v-vector.k line, .v-vector.k path { stroke: var(--key); }
.v-vector.bad line, .v-vector.bad path { stroke: var(--value); }
.v-vector.dim { opacity: 0.35; }

.v-line.docline { stroke: #4b5263; }
.v-bar.badsoft { fill: color-mix(in srgb, var(--value) 32%, var(--surface-2)); }
.v-dot.k { fill: var(--key); }
.v-dot.bad { fill: var(--value); }
.v-dot.m { fill: var(--muted); }
.v-bar { transition: opacity 0.3s ease; }
.v-bar.dim { opacity: 0.3; }
.v-tri { fill: var(--accent); }
.v-tri.bad { fill: var(--value); }
.v-grid rect.hide { opacity: 0; }

.fx.off { opacity: 0.18; }
.nb { white-space: nowrap; }

@media (prefers-reduced-motion: reduce) {
  .viz * { transition: none !important; }
}

/* --- 12강에서 더한 것 --- */

/* 시간 줄: 바탕 줄, 실행 구간(굵은 선), 기다리는 구간(점선), 실행 표시(머리) */
.v-track { fill: none; stroke: var(--surface-2); stroke-width: 6; stroke-linecap: round; }
.v-seg { fill: none; stroke: var(--muted); stroke-width: 6; stroke-linecap: round; stroke-linejoin: round; }
.v-seg.on { stroke: var(--accent); }
.v-seg.k { stroke: var(--key); }
.v-seg.bad { stroke: var(--value); }
.v-seg.wait { stroke: var(--muted); stroke-width: 2.2; stroke-dasharray: 1 6; }
.v-head { fill: var(--muted); stroke: var(--bg); stroke-width: 2.5; }
.v-head.on { fill: var(--accent); }
.v-head.k { fill: var(--key); }
.v-head.bad { fill: var(--value); }
.v-head.wait { fill: var(--bg); stroke: var(--muted); stroke-width: 2; }
.v-head.idle { fill: var(--surface-2); stroke: var(--bg); }
.v-tickmark { fill: none; stroke: var(--text); stroke-width: 1.6; stroke-linecap: round; }
.v-cursor { fill: none; stroke: var(--text); stroke-width: 1.2; stroke-dasharray: 3 4; opacity: 0.7; }
.v-band { fill: var(--accent); opacity: 0.14; }
.v-band.k { fill: var(--key); }
.v-band.bad { fill: var(--value); }

/* 태스크 표시 */
.v-tok { transition: opacity 0.3s ease; }
.v-tok rect {
  fill: var(--surface-2);
  stroke: var(--muted);
  stroke-width: 1.5;
  transition: fill 0.25s ease, stroke 0.25s ease;
}
.v-tok text { fill: var(--text); font-size: 12.5px; font-weight: 700; transition: fill 0.25s ease; }
.v-tok.on rect { fill: var(--accent); stroke: var(--accent); }
.v-tok.k rect { fill: var(--key); stroke: var(--key); }
.v-tok.on text, .v-tok.k text { fill: var(--on-accent); }
.v-tok.wait rect { fill: var(--bg); stroke: var(--value); stroke-dasharray: 3 3; }
.v-tok.wait text { fill: var(--value); }
.v-tok.dim { opacity: 0.3; }
.v-tok.hide { opacity: 0; }
.v-tok.msg rect { fill: var(--surface); stroke: var(--text); }

/* 자리 칸 (큐, 버퍼) */
.v-slotbox {
  fill: none;
  stroke: var(--muted);
  stroke-width: 1.3;
  stroke-dasharray: 3 3;
  transition: fill 0.25s ease, stroke 0.25s ease;
}
.v-slotbox.fill { fill: var(--accent); stroke: var(--accent); stroke-dasharray: none; }
.v-slotbox.fill.k { fill: var(--key); stroke: var(--key); }
.v-slotbox.fill.bad { fill: var(--value); stroke: var(--value); }
.v-slotbox.on { stroke: var(--accent); stroke-dasharray: none; }

/* 자물쇠 */
.v-lock .pad { fill: var(--bg); }
.v-lock .body { fill: var(--muted); transition: fill 0.25s ease; }
.v-lock .sh { fill: none; stroke: var(--muted); stroke-width: 2.4; stroke-linecap: round; transition: stroke 0.25s ease; }
.v-lock.on .body { fill: var(--value); }
.v-lock.on .sh { stroke: var(--value); }

/* 숫자 칸의 큰 숫자, 틀 */
.viz text.v-num.big.on { fill: var(--accent); }
.v-frame.room { fill: color-mix(in srgb, var(--surface) 70%, var(--bg)); }
.v-box.k rect { stroke: var(--key); }
.v-box.bad rect { stroke: var(--value); }
.v-box.dim { opacity: 0.4; }
.v-box { transition: opacity 0.3s ease; }
.viz text.fx2 { transition: opacity 0.3s ease; }
.viz g.fx { transition: opacity 0.3s ease; }
.viz g.fx.hide { opacity: 0; }
.v-strike { fill: none; stroke: var(--value); stroke-width: 2; stroke-linecap: round; }
.v-vector.dash line { stroke-dasharray: 4 4; }
.v-vector.thick line, .v-vector.thick path { stroke-width: 2.5; }
.v-missing { fill: none; stroke: var(--value); stroke-width: 1.5; stroke-dasharray: 3 3; }