Arborescence :



 Facettes, par catégories :
Menu

 
Catégorie
V5 (40)
V5.01 (20)
V5.10 (16)
V5.20 (32)
V5.30 (17)
V5.31 (1)
V5.32 (5)
V5.33 (16)
V5.34 (6)
V5.35 (1)
V5.40 (29)
V5.41 (7)
V5.42 (4)
V5.43 (6)
V5.50 (1)
V5.60 (1)
V5.61 (1)
V5.70 (9)
V5.71 (4)
 
  Comment insérer ces widgets?

      5. Référence
          5.13. Options
              5.13.4. Options avancées (WIT)
 5.13.4.8. Taille police HTML 
MenuFichier
Sous menuOptions

Cette option controle la taille de la police de caractère utilisée dans l'éditeur de code HTML brut (onglet HTML de la vue principale, mode expert).

La taille est donnée en points (valeur par défaut : 18 points).

Corrélats :  Options
Table  | Images  | Bibliography  | Glossary  | Index  | Facettes