:root{--small-space: .5em;--border-color: black;--border-radius: 4px;--predicate-gap: 1em;--pure-background: #d3e9f0}.hidden{display:none}.sep-diagram{border:1px solid gray;border-radius:var(--border-radius);padding:var(--small-space);position:relative}.sep-pures-container{border:1px dotted var(--border-color);border-radius:var(--border-radius);padding:var(--small-space);display:flex;wrap:nowrap;gap:var(--predicate-gap)}.sep-pure{background:var(--pure-background);white-space:nowrap}.sep-exist-var{color:#3465a4}.sep-diagram .src-button{border:none;position:absolute;bottom:4px;right:4px;cursor:pointer;padding:2px 6px;z-index:10;font-family:Iosevka;font-size:10px;display:inline-flex;align-items:center;justify-content:center}.src-button .src-icon{display:inline-flex;width:1em;height:1em}.src-icon svg{width:100%;height:100%;display:block}.sep-svg text{font-family:Iosevka;font-size:12px}.sep-svg svg{pointer-events:none;max-width:100%}.sep-diagram{background:#eeeeec;color:#000;text-wrap:nowrap}.sep-pred-container{border:1px dotted var(--border-color);border-radius:var(--border-radius);padding:var(--small-space);display:flex;align-items:center;justify-content:center;gap:.5rem}:is(.sep-pred-container,.sep-pures-container):only-child{border:none}.sep-wand-hyp{background-color:#d3d3d3;border-radius:var(--border-radius)}.sep-op{padding:var(--small-space)}.sep-keyword{padding:var(--small-space);font-weight:700}.sep-triple{display:inline-grid;grid-template-columns:max-content 1fr;align-items:baseline;column-gap:.4em}.vertical-stack{display:flex;flex-direction:column}.horizontal-stack{display:flex;flex-direction:row}.tooltip-copied{position:absolute;background:#000;color:#fff;padding:2px 6px;border-radius:var(--border-radius);pointer-events:none;opacity:0;transition:opacity .2s;z-index:10;font-family:Iosevka;font-size:10px}:is(.alectryon-windowed .alectryon-io,.alectryon-io) .alectryon-sentence.alectryon-target .alectryon-output .goal-hyps,.alectryon-io .goal-hyps{flex-flow:row wrap;justify-content:flex-start}.sep-bigop-box{display:inline-flex;flex-direction:row;align-items:center;gap:12px}.sep-bigop-left{display:inline-flex;flex-direction:column;align-items:center}.sep-bigop-op{font-size:1.5em;line-height:1}.sep-bigop-binder{font-size:.7em}body.vscode-dark .sep-diagram,body.vscode-high-contrast .sep-diagram{filter:invert(1) hue-rotate(180deg)}body[class^=vscode-] [class^=_Goal]{pointer-events:none}body[class^=vscode-] .src-button{display:none}@media(any-hover:hover){.alectryon-io .alectryon-sentence:not(.alectryon-target):hover .alectryon-output:not(:hover){display:none}}