.implication-container.svelte-1ozwju4{gap:.5rem;display:inline-flex}.property.svelte-1ozwju4:not(.highlighted){text-decoration:none}.property.highlighted.svelte-1ozwju4{text-underline-offset:4px;text-decoration-style:dashed}.operator.svelte-1ozwju4{color:var(--secondary-text-color);margin-inline:.25rem}.bracket.svelte-1ozwju4{color:var(--secondary-text-color)}