.cubical-panel { padding: 1.5rem; margin-top: 1.5rem; }
.cubical-panel .kernel-term { overflow-x: auto; padding: 1rem; margin-bottom: 1rem; }
#syntax { width: 100%; min-height: 24rem; font-family: monospace; }
#context .context-entry { display: flex; align-items: baseline; gap: .6rem; }
#context .context-entry > span { font-family: monospace; }
.term-heading { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: .5rem; }
.term-heading [role="group"] { display: flex; flex-wrap: wrap; gap: .4rem; }
.reduction-site { background: #fff0b8; outline: 1px dashed #a66a0a; cursor: pointer; border-radius: 3px; }
.reduction-site:hover, .reduction-site:focus { background: #ffd879; outline: 2px solid #805004; }
[data-reduction][aria-pressed="true"] { background: #fff0b8; border-color: #a66a0a; }
.assembly-roots, .assembly-table { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: .85rem; }
.assembly-roots { display: flex; flex-wrap: wrap; gap: .5rem 1.5rem; margin: 1rem 0; }
.assembly-scroll { overflow: auto; max-height: 65vh; border: 1px solid #dce2dc; border-radius: 6px; }
.assembly-table { border-collapse: collapse; width: 100%; }
.assembly-table th, .assembly-table td { text-align: left; vertical-align: top; padding: .6rem; border-bottom: 1px solid #dce2dc; }
.assembly-table th { position: sticky; top: 0; background: #edf5e9; z-index: 1; }
.assembly-table td:nth-child(-n+4) { white-space: nowrap; }
.assembly-table td:last-child { overflow-wrap: anywhere; min-width: 12rem; }
.assembly-reference { border: 0; padding: 0 .15rem; text-decoration: underline; background: transparent; font: inherit; }
.assembly-table tr.selected { background: #fff0b8; outline: 2px solid #a66a0a; outline-offset: -2px; }
.assembly-definition-actions { display: flex; flex-wrap: wrap; gap: .4rem; margin: .4rem 0; }
.assembly-definition-actions button { font-size: .75rem; }