"underline-never": "Jamais",
"underline-default": "Valeur par défaut du thème ou du navigateur",
"editfont-style": "Style de police de la zone d’édition :",
- "editfont-default": "Police par défaut du navigateur",
"editfont-monospace": "Police à chasse fixe",
"editfont-sansserif": "Police sans-serif",
"editfont-serif": "Police serif",