#source-editor {display:block;width:100%;min-height:190px;resize:vertical;font-family:var(--mono,monospace);line-height:1.6;white-space:pre;tab-size:2}
#source-editor[hidden] {display:none}
.code-sync-state {white-space:pre-wrap;color:var(--muted,#626b68);font-size:12px;line-height:1.5}
#grid button.gate-selected {outline:3px solid #1b7c70;outline-offset:1px;background:#d7f3e8;color:#103e36}