.hero-fade-in[data-v-ce14762c]{animation:hero-fade-in-ce14762c .7s ease-out backwards}@keyframes hero-fade-in-ce14762c{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}@media(min-width:1200px){.proof-line>span+span[data-v-ce14762c]:before{content:"·";margin-right:.55rem;opacity:.45}}@media(prefers-reduced-motion:reduce){.hero-fade-in[data-v-ce14762c]{animation:none}}.example-enter-active[data-v-2790b54d],.example-leave-active[data-v-2790b54d]{transition:opacity .25s ease,transform .25s ease}.example-enter-from[data-v-2790b54d],.example-leave-to[data-v-2790b54d]{opacity:0;transform:translateY(-6px)}@media(prefers-reduced-motion:reduce){.example-enter-active[data-v-2790b54d],.example-leave-active[data-v-2790b54d]{transition:none}}