FORUM Tom's Hardware » Programmation » HTML / Javascript » Modifier la taille de la police en javascript
 

Modifier la taille de la police en javascript

Il y a 331 utilisateurs connus et inconnus. Pour voir la liste des connectés connus, cliquez ici
Ajouter une réponse



 Mot :   Pseudo :  
 
Bas de page
Auteur
 Sujet : Modifier la taille de la police en javascript
 
a du mal...
Plus d'informations

Hello tous le monde, voila , je voudrais faire une sorte d'intro pour mon site, un decompte qui fait 5 4 3 2 1 0.. et op on atteris sur mon site.
J'ai donc ecrit ma petite fonction tranquillement, seul probleme : je ne sais pas comment changer la taille des chiffres car je trouve que ça fait un peu petit là...
Voila ma fonction :

Code :
  1. <script language="Javascript">
  2. time = 5
  3. url="intro.html"
  4. function gooo(url) {
  5. setTimeout("window.location=url", 500)
  6. }
  7. function dec()
  8. {
  9.         time -= 1;
  10.      
  11.         if(time != -1)
  12.         {
  13.                 document.getElementById("decompte" ).innerHTML = time
  14.                 setTimeout("dec()",1000)
  15.         }
  16.         else
  17.         {      gooo(url)
  18. }
  19. }
  20. </script>



merci

a du mal...
Plus d'informations

Finalement, c'est bon, un ";" oublié dans le css...
merci

pourquoi faire cent fois la même chose ?
Plus d'informations

c'est pas la fonction qui faut changer ...


Aller à :
Ajouter une réponse
  FORUM Tom's Hardware » Programmation » HTML / Javascript » Modifier la taille de la police en javascript
 

Annonces Google
Publicité