Modification de la police de la zone de texte
Je pense que c'est une question simple et idiote. J'ai inclus une zone de texte dans mon script html.
Est-il possible de changer la police par défaut de la zone de texte?
Celui par défaut n'a pas l'air bien. J'espère qu'il existe un moyen de le changer.
Oui, en utilisant le CSS font-family property , comme tout autre élément.
Le W3C a un tutoriel CSS tout comme Mozilla
Vous pouvez simplement ouvrir votre fichier css et écrire du code comme mentionné ci-dessous
textarea
{
font-family:"Times New Roman", Times, serif;
font-size: 12px;
}
En suivant la procédure ci-dessus, vous pouvez modifier la propriété par défaut de n'importe quelle balise HTML souhaitée.
Et la version paresseuse de raccourci (non recommandée):
<textarea rows="5" cols="50"
style="font-family:Times New Roman;color:#003399;white-space:pre-wrap">Put your text here</textarea>
Vous pouvez également utiliser la version courte de la police
textarea
{
font: 12px "Times New Roman", Times, serif;
}
Les valeurs:
font: font-style font-variant font-weight font-size/line-height font-family;