Hallo Martin,
Welcher Font wird bei Dir real genutzt?
Boah, keine Ahnung, wie ich das rausfinden soll.
Über die Entwicklertools: die Eigenschaften des Pseudoelements aufrufen und dann rechts unter „Computed“ (Vivaldi bzw. Blink-Engine) bzw. „Schriftarten“ (Firefox) nachschauen, dort steht welche Schriftart verwendet wird – bei mir (Mint 20.2) ist das „Ubuntu“.
Gruß,
Tobias