div.svelte-h3sa6j{height:calc(100% - var(--nav-height))}nav.svelte-h3sa6j{height:var(--nav-height);border-bottom:var(--border);font-size:14px;display:flex;align-items:center;justify-content:space-between}a.svelte-h3sa6j{padding:0 8px;height:100%;text-decoration:none;display:flex;justify-content:center;align-items:center}a.svelte-h3sa6j:hover{background-color:var(--color-action-hover)}