Va benissimo grazie.
Già che ci sono approfitto e chiedo un'altra cosa associata allo stesso programma.
Invece di h1 vorrei usare una formattazione mia particolare (che dovrei mettere, suppongo, nel file style.css - per esempio:
textarea {
color: #666;
font-size: 12px;
}
Quale avrebbe dovuto essere il comando php per usare quella formattazione decisa da me?