Retourner au contenu associé (journal : PDF, mais que fait la police)
Posté par Ysabeau 🧶 (site web personnel, Mastodon) le 22 août 2021 à 21:10. En réponse au journal PDF, mais que fait la police. Évalué à 4. Dernière modification le 22 août 2021 à 21:11.
Ouvre un pdf créé à partir d'un fichier tex, vas dans Okular (ou un autre lecteur de pdf) dans Fichier > Propriétés et regarde dans l'onglet Polices. Il est possible que ça se fasse de toute façon sans que tu aies quoique ce soit à faire.
En théorie le format pdf fait ça.
Je n’ai aucun avis sur systemd
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Heuristique
Posté par Ysabeau 🧶 (site web personnel, Mastodon) . En réponse au journal PDF, mais que fait la police. Évalué à 4. Dernière modification le 22 août 2021 à 21:11.
Ouvre un pdf créé à partir d'un fichier tex, vas dans Okular (ou un autre lecteur de pdf) dans Fichier > Propriétés et regarde dans l'onglet Polices. Il est possible que ça se fasse de toute façon sans que tu aies quoique ce soit à faire.
En théorie le format pdf fait ça.
Je n’ai aucun avis sur systemd