.intro.svelte-zoxv11.svelte-zoxv11{padding-top:48px}.crumbs.svelte-zoxv11.svelte-zoxv11{font-size:.8rem;color:#999;margin-bottom:.6rem}.crumbs.svelte-zoxv11 span.svelte-zoxv11{color:#999}.table-wrap.svelte-zoxv11.svelte-zoxv11{overflow-x:auto}.symbols.svelte-zoxv11.svelte-zoxv11{width:100%}.symbols.svelte-zoxv11 td.svelte-zoxv11{vertical-align:middle}.symbol.svelte-zoxv11.svelte-zoxv11{font-size:1.2rem;color:#fff;white-space:pre;line-height:1.5}.name.svelte-zoxv11.svelte-zoxv11{display:block;color:#fff}.reads.svelte-zoxv11.svelte-zoxv11{color:#bbb;font-size:.85rem}.example.svelte-zoxv11.svelte-zoxv11,.logic.svelte-zoxv11.svelte-zoxv11{color:#ddd;font-size:.85rem}.diagram-cell.svelte-zoxv11.svelte-zoxv11{width:96px}.diagram-cell.svelte-zoxv11>svg,.diagram-cell.svelte-zoxv11 .mini svg{width:96px;max-width:96px}.mini.svelte-zoxv11.svelte-zoxv11{display:block;border-radius:3px}.mini.svelte-zoxv11:hover svg,.mini.svelte-zoxv11:focus-visible svg{outline:2px solid #5db65d}tr.highlighted.svelte-zoxv11 td.svelte-zoxv11{background-color:#3723}.builder.svelte-zoxv11.svelte-zoxv11{width:auto;margin-bottom:1rem}.definitions.svelte-zoxv11.svelte-zoxv11{color:#ddd;padding-left:1.25rem;line-height:1.8}.laws.svelte-zoxv11.svelte-zoxv11{width:100%}.laws.svelte-zoxv11 td.svelte-zoxv11{vertical-align:middle}.nowrap.svelte-zoxv11.svelte-zoxv11{white-space:nowrap}.logic-cell.svelte-zoxv11.svelte-zoxv11{color:#bbb;font-size:.85rem}.checked.svelte-zoxv11.svelte-zoxv11{color:#8ede8e;white-space:nowrap}.checked.svelte-zoxv11.svelte-zoxv11:before{content:"\2713  "}.failed.svelte-zoxv11.svelte-zoxv11{color:#f66}.map.svelte-zoxv11.svelte-zoxv11{width:auto}@media (max-width: 720px){.stack.svelte-zoxv11 thead.svelte-zoxv11{display:none}.data-table.stack.svelte-zoxv11.svelte-zoxv11,.stack.svelte-zoxv11 tbody.svelte-zoxv11,.stack.svelte-zoxv11 tr.svelte-zoxv11,.data-table.stack.svelte-zoxv11 td.svelte-zoxv11{display:block;width:auto}.stack.svelte-zoxv11 tr.svelte-zoxv11{position:relative;padding:.6rem 0;min-height:92px;border-bottom:1px solid rgba(255,255,255,.2)}.data-table.stack.svelte-zoxv11 td.svelte-zoxv11{border:none;padding:.1rem .6rem;margin-right:104px;background:none}.data-table.stack.svelte-zoxv11 td.diagram-cell.svelte-zoxv11{position:absolute;top:.6rem;right:.4rem;width:96px;margin:0;padding:0}.stack.svelte-zoxv11 .nowrap.svelte-zoxv11{white-space:normal}.data-table.stack.svelte-zoxv11 td.symbol.svelte-zoxv11{font-size:1.35rem}}