Police du site

Démonstrator

Quelle est la police LaTeX exacte utilisée par le présent site ?
$\mathrm{Non} ( e^{i\pi} = 5 )$

Démonstrator

J'essaie de relancer le fil... 

[Utilisateur supprimé]

À vue de nez, je dirais que c'est basé sur STIX Two.

Ce qui semble plutôt confirmé lorsqu'on passe en debug mode

ainsi que (et surtout) par l'inspecteur

Maintenant, seul manu peut nous confirmer si c'est effectivement ça.
Remarque. Sur ma tablette ça utilise la police Computer Modern, visiblement.

Démonstrator

@dp Merci beaucoup de votre intérêt, mais sur ma machine la police que vous dites ne rend pas du tout pareil que celle du site (curieux) !
@Manu qu'en dites-vous ?

[Utilisateur supprimé]

C'est le cas sur ma machine en tout cas.

Le rendu du site

Le rendu compilé par moi-même avec STIX Two

On est donc selon moi sur une police d'écrire basée sur cette dernière.

Démonstrator

@dp Fondée, peut-être (je ne sais pas ce que ça veut dire), mais ce n'est clairement pas la même chose : pas le même trait, pas les mêmes espacements, pas les mêmes pattes...

Guego

Je pense que ça ne dépend pas du site, mais du navigateur (i.e la police est décidée côté client, pas côté serveur). En ce qui me concerne, dans le premier message de ce fil, j'ai ça :

Ce qui est différent de ce qu'obtient dp.

Démonstrator

@Guego Oui vous avez raison c'est le problème... Voilà ce que je souhaite :

ce qui est je crois la même chose que ce que vous avez.

[Utilisateur supprimé]

Je l'avais déjà écrit à 00h27… 😒

Remarque. Sur ma tablette ça utilise la police Computer Modern, visiblement.

Je ne comprend même pas pourquoi la question se pose en plus… c'est la police par défaut en \(\LaTeX\)…