<div id="orario"><?php
print (gmdate ("H:m:s"));
?>/div>

questo è il codice qualcuno ,senza mandarmi a quel paese ,potrebbe dirmi come faccio a cambiare il font per quello che stampa il server su questo div?o meglio vorrei scegliere font etc per l'orario che mi viene restituito

provavo con css ma niente da fare,si può agire direttamente sul php?
insomma un breve ripasso di come personalizzare la stringa di ritorno,font,colori etc

denghiuuuuu