Quelle police est utilisée dans l'éditeur de meta.discourse.org?

Soutien
1

Je remarque que la police est différente de la police du post/aperçu. Très bien ! Où se trouve ce réglage ?

L'image montre une demande de ticket de support concernant les restrictions de regroupement dans un système logiciel, demandant si la modification de certains paramètres affecterait les fonctionnalités de navigation de groupe comme la recherche de membres par '@'. (Légendé par l'IA)
L'image montre une demande de ticket de support concernant les restrictions de regroupement dans un système logiciel, demandant si la modification de certains paramètres affecterait les fonctionnalités de navigation de groupe comme la recherche de membres par '@'. (Légendé par l'IA)941×238 29 KB

Cela semble être ceci :
image

Le seul réglage connexe que j’ai trouvé concernait les polices générales :

L'image affiche une page de personnalisation « Style de police » de WordPress où les utilisateurs peuvent sélectionner des styles de police, y compris une police de base et une police de titre, pour leur site, avec des options pour réinitialiser ou appliquer les modifications. (Légendé par l'IA)
L'image affiche une page de personnalisation « Style de police » de WordPress où les utilisateurs peuvent sélectionner des styles de police, y compris une police de base et une police de titre, pour leur site, avec des options pour réinitialiser ou appliquer les modifications. (Légendé par l'IA)1196×598 22.3 KB

Merci

2 « J'aime »
3

Vous pouvez cliquer sur « –d-font-family–monospace » dans votre capture d’écran.
Cela montre :

--d-font-family--monospace: JetBrains Mono, Consolas, Monaco, monospace;

Il utilise JetBrains Mono, c’est une excellente police de caractères.

Lié à Monospace font in the Markdown-only editor - #14 by sam.

4 « J'aime »
4

C’est magnifique ! :visage_souriant_avec_lunettes_de_soleil: Et cela correspond bien à la niche technologique dans mon cas, car cela ressemble beaucoup à une police de terminal.

Je ne suis pas sûr si je l’ai manqué dans la réponse, mais où dans Admin dois-je définir cela pour l’éditeur ?

Modification, je pense que je le trouve : Change the default font on your site

Je modifierai une fois que je l’aurai fait.

2 « J'aime »
5

Vous pouvez remplacer par CSS, par exemple :

body {
    --d-font-family--monospace: consolas;
}

Notez que cette variable n’est pas seulement utilisée dans l’éditeur.

Si vous souhaitez cibler uniquement l’éditeur :

.d-editor .d-editor-input {
  font-family: consolas;
}
1 « J'aime »
6

Merci. Je l’ai obtenu en ajoutant ceci à mon en-tête global :

<link href="https://fonts.googleapis.com/css2?family=JetBrains+Mono&display=swap" rel="stylesheet">

Et ceci à mon CSS global :

:root {
  --d-font-family--monospace: "JetBrains Mono", Consolas, Monaco, monospace;
}

code,
pre,
.hljs,
.cooked code,
.d-editor-input,
.d-editor-preview code,
.d-editor-preview pre,
.markdown code,
blockquote code,
pre code {
  font-family: "JetBrains Mono", Consolas, Monaco, monospace !important;
}
7

Quelle version de Discourse utilisez-vous ?

8

image
image247×229 7.88 KB

9

La prochaine fois que vous reconstruirez, vous n’aurez plus besoin de ce CSS.
La police a été introduite le 2 avril et votre date de construction est le 27 mars.

1 « J'aime »
10

Je peux donc reconstruire maintenant et supprimer l’intégralité du bloc CSS que j’ai collé ci-dessus ?

Qu’en est-il de la police Google ? :

<link href="https://fonts.googleapis.com/css2?family=JetBrains+Mono&display=swap" rel="stylesheet">
11

Oui, vous n’avez pas besoin d’ajouts.

1 « J'aime »
12

Merci, je le ferai !

1 « J'aime »
13

Je me demandais pourquoi la police de caractères sur Meta était meilleure que sur mon propre site, et maintenant je sais pourquoi ! :rire :
Heureux de voir cette nouvelle mise à jour de police, changement subtil mais superbe.

4 « J'aime »
14

This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.