.mono[data-v-2bff459c]{font-family:var(--font-mono,"JetBrains Mono", monospace)}.dd-grace-note[data-v-2bff459c]{color:var(--ink-muted);margin:6px 0 0;font-size:.85rem;line-height:1.45}