www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 8368e5fc6b5f129f0fb42768eb956064d921d0d4
parent bc3c399477306ae39429a335a55ffd05a290c92e
Author: gduperon <gduperon@5d9ba3ac-444b-4713-9fb3-0b58e79229a2>
Date:   Sun, 18 Apr 2010 19:34:36 +0000

Petits ajustements

git-svn-id: https://projetud.info-ufr.univ-montp2.fr/svn/flin607-2009-gduperon@16 5d9ba3ac-444b-4713-9fb3-0b58e79229a2

Diffstat:
Mjside/ide.js | 4++++
Mjside/index.html | 2+-
Mjside/style.css | 2+-
3 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/jside/ide.js b/jside/ide.js @@ -1,3 +1,7 @@ +$(document).ready(function () { + setTimeout(init, 200); +}); + function init() { log("Démarré."); log("Ajoutez des blocs à l'espace de travail pour construire un programme."); diff --git a/jside/index.html b/jside/index.html @@ -7,7 +7,7 @@ <script type="text/javascript" src="jquery-1.4.2.js"></script> <script type="text/javascript" src="ide.js"></script> </head> - <body onload="init();" id="body"> + <body id="body"> <div id="log"> <h2>Log</h2> <div id="log-content"> diff --git a/jside/style.css b/jside/style.css @@ -15,7 +15,7 @@ } #log h2 { - padding: 0 0.7em; + padding: 0 1em; margin: 0; font-size: small; background-color: lightgray;