* .cm-scroller{font-family:var(--font-mono)!important}div.svelte-1q3bn78::-webkit-scrollbar{width:.85rem}div.svelte-1q3bn78::-webkit-scrollbar-track{background:#ffffffd9}div.svelte-1q3bn78::-webkit-scrollbar-thumb{background:var(--color-gray-500)}div.svelte-1q3bn78::-webkit-scrollbar-thumb:hover{background:var(--color-gray-600)}