.hero-fade-in[data-v-d6895a74]{animation:hero-fade-in-d6895a74 .7s ease-out backwards}@keyframes hero-fade-in-d6895a74{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}@media(min-width:1200px){.proof-line>span+span[data-v-d6895a74]:before{content:"·";margin-right:.55rem;opacity:.45}}@media(prefers-reduced-motion:reduce){.hero-fade-in[data-v-d6895a74]{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}}