Multiple fixed width fonts are used

Aperta

#1,389 aperta il 12/2/2025 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

bug

Descrizione

### Description

I'm not sure why we have mixed fixed width fonts now as default setting. We should just pick one and use it consistently.

![Image](https://github.com/user-attachments/assets/72ee3a49-d7ca-488f-94fc-66b2dc9e0d4f)

### Steps to reproduce the bug

N/A

### Environment

ea5645039df0dcf024154d6affd7c0766163c5e8

### Additional context

_No response_

Nessuna guida per i contributori indicizzata per questo repository

Questa issue non è ancora stata valutata.