Projet

Général

Profil

Development #77709

vars: possibilité de modification de la famille de police pour les entrées de la nav

Ajouté par Paul Marillonnet il y a 11 mois. Mis à jour il y a 11 mois.

Statut:
Fermé
Priorité:
Normal
Assigné à:
Version cible:
-
Début:
17 mai 2023
Echéance:
% réalisé:

0%

Temps estimé:
Patch proposed:
Non
Planning:
Non

Description

Je vois qu’il existe une telle variable pour les textes du pied de page, mais rien pour la nav (?)
Ce serait quelque chose d’utile pour les thèmes où une famille de police est exclusivement réservée aux entrées de la nav.


Demandes liées

Lié à Intégrations graphiques Publik - Development #76923: EHESS : intégration graphique native initialeFermé24 avril 2023

Actions
Lié à Intégrations graphiques Publik - Development #77761: doc : répertorier les variables de police de caractère de nav nouvellement introduitesFermé21 mai 2023

Actions

Historique

#1

Mis à jour par Paul Marillonnet il y a 11 mois

#2

Mis à jour par Robot Gitea il y a 11 mois

  • Statut changé de Nouveau à Solution proposée
  • Assigné à mis à Paul Marillonnet

Paul Marillonnet (pmarillonnet) a ouvert une pull request sur Gitea concernant cette demande :

#3

Mis à jour par Robot Gitea il y a 11 mois

  • Statut changé de Solution proposée à Solution validée

Serghei Mihai (smihai) a approuvé une pull request sur Gitea concernant cette demande :

#4

Mis à jour par Robot Gitea il y a 11 mois

  • Statut changé de Solution validée à Résolu (à déployer)

Paul Marillonnet (pmarillonnet) a mergé une pull request sur Gitea concernant cette demande :

#5

Mis à jour par Transition automatique il y a 11 mois

  • Statut changé de Résolu (à déployer) à Solution déployée
#6

Mis à jour par Paul Marillonnet il y a 11 mois

  • Lié à Development #77761: doc : répertorier les variables de police de caractère de nav nouvellement introduites ajouté
#7

Mis à jour par Transition automatique il y a 9 mois

Automatic expiration

Formats disponibles : Atom PDF