.assembly-trace-widget {
    margin: 1.5rem 0;
    padding: 1.25rem;
    border-radius: 24px;
    background: #f8fafc;
    border: 1px solid #e2e8f0;
    box-shadow: 0 16px 40px rgba(15, 23, 42, 0.08);
}

.trace-toolbar,
.trace-controls {
    display: flex;
    flex-wrap: wrap;
    gap: 0.65rem;
    margin-bottom: 1rem;
}

.trace-program-btn,
.trace-controls button {
    border: none;
    border-radius: 999px;
    padding: 0.65rem 1rem;
    background: white;
    color: #334155;
    font-weight: 700;
    cursor: pointer;
    border: 1px solid #cbd5e1;
    transition: all 0.2s ease;
}

.trace-program-btn:hover,
.trace-controls button:hover {
    transform: translateY(-1px);
    background: #0f172a;
    color: white;
    border-color: #0f172a;
}

.trace-program-btn.active {
    background: #5b5fa8;
    color: white;
    border-color: #5b5fa8;
}

.trace-layout {
    display: grid;
    grid-template-columns: minmax(0, 1.1fr) minmax(280px, 0.9fr);
    gap: 1rem;
    align-items: start;
}

.trace-program-card,
.trace-state-card,
.trace-explanation-card,
.trace-table-card {
    background: white;
    border: 1px solid #e2e8f0;
    border-radius: 20px;
    padding: 1rem;
    box-shadow: 0 10px 26px rgba(15, 23, 42, 0.05);
}

.trace-program-card h3,
.trace-state-card h3,
.trace-explanation-card h3,
.trace-table-card h3 {
    margin-top: 0;
}

.trace-program-list {
    margin: 0;
    padding-left: 0;
    list-style: none;
    display: grid;
    gap: 0.35rem;
}

.trace-program-list li {
    display: grid;
    grid-template-columns: 4.5rem 1fr;
    gap: 0.5rem;
    align-items: center;
    padding: 0.45rem 0.6rem;
    border-radius: 14px;
    background: #f8fafc;
    border: 1px solid #e2e8f0;
    font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
    font-size: 0.92rem;
}

.trace-program-list li.active {
    background: #eff6ff;
    border-color: #93c5fd;
    outline: 2px solid rgba(59, 130, 246, 0.18);
}

.trace-program-list .trace-address {
    color: #64748b;
    font-weight: 800;
}

.trace-state-grid {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 0.75rem;
    margin: 1rem 0;
}

.trace-state-grid div {
    padding: 0.8rem;
    border-radius: 16px;
    background: #f8fafc;
    border: 1px solid #e2e8f0;
}

.trace-state-grid span {
    display: block;
    color: #64748b;
    font-size: 0.82rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.06em;
}

.trace-state-grid strong {
    display: block;
    margin-top: 0.25rem;
    color: #0f172a;
    font-size: 1.35rem;
}

.trace-explanation-card {
    margin-top: 1rem;
}

.trace-step-counter {
    margin: 0 0 0.35rem;
    color: #64748b;
    font-weight: 800;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    font-size: 0.82rem;
}

.trace-table-card {
    margin-top: 1rem;
    overflow-x: auto;
}

.trace-table-card .study-table,
.trace-memory-table {
    margin: 0.8rem 0 0;
}

.code-like-line {
    font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
    background: #f8fafc;
    border: 1px solid #e2e8f0;
    border-radius: 16px;
    padding: 0.8rem 1rem;
    color: #0f172a;
}

@media (max-width: 820px) {
    .trace-layout {
        grid-template-columns: 1fr;
    }

    .trace-state-grid {
        grid-template-columns: 1fr;
    }
}