.pt-mono[data-v-f0a33820]{background:var(--paper-100);border-radius:2px;color:var(--crust-700);display:inline-grid;font-family:var(--font-mono);font-size:10px;font-weight:700;height:15px;margin-left:-3px;place-items:center;width:15px}