.mono[data-v-27d48f6b]{font-family:Roboto Mono,monospace}@keyframes shrink-541fc617{0%{width:100%}to{width:0}}.animate-shrink[data-v-541fc617]{animation-fill-mode:forwards;animation-name:shrink-541fc617;animation-timing-function:linear}