.text-mono{font-family:ui-monospace,monospace}