Index: /trunk/FACT++/www/smartfact/index.css =================================================================== --- /trunk/FACT++/www/smartfact/index.css (revision 14040) +++ /trunk/FACT++/www/smartfact/index.css (revision 14041) @@ -221,4 +221,5 @@ h3 { margin:0; + color:#206; } @@ -226,4 +227,8 @@ margin:0; color:#206; +} + +.astro { + width:100%; } Index: /trunk/FACT++/www/smartfact/index.html =================================================================== --- /trunk/FACT++/www/smartfact/index.html (revision 14040) +++ /trunk/FACT++/www/smartfact/index.html (revision 14041) @@ -4,9 +4,14 @@ SmartFACT++ - + - + - + + + Index: /trunk/FACT++/www/smartfact/index.js =================================================================== --- /trunk/FACT++/www/smartfact/index.js (revision 14040) +++ /trunk/FACT++/www/smartfact/index.js (revision 14041) @@ -64,5 +64,4 @@ $("audio").date = new Date(); - /* @@ -672,20 +671,4 @@ table.appendChild(tf); - // ================================================================== - /* - var audio = $new("AUDIO"); - - audio.autoplay = true; - audio.date = new Date(); - audio.id = "audio"+z; - - var ogg = $new("SOURCE"); - var mp3 = $new("SOURCE"); - audio.appendChild(ogg); - audio.appendChild(mp3); - - $("body").appendChild(audio); - */ - $("body").appendChild(table); @@ -978,23 +961,28 @@ // Time stamp of audio file must be newer than page load // or last audio play respecitvely - if (audio_date>audio.date) - { + if (audio_date>audio.date && header[2].length>0) + { + var name = "audio/"+header[2]; + + var mp3 = $new("SOURCE"); + var ogg = $new("SOURCE"); + mp3.src = name+".mp3"; + ogg.src = name+".ogg"; + + // If audio file has changed play the new one + if (audio.firstChild.src!=mp3.src) + { + audio.replaceChild(mp3, audio.firstChild); + audio.replaceChild(ogg, audio.lastChild); + + } + audio.date = audio_date; - var name_ogg = "audio/"+header[2]+".ogg"; - var name_mp3 = "audio/"+header[2]+".mp3"; - - var ogg = $new("SOURCE"); - var mp3 = $new("SOURCE"); - ogg.type = "audio/ogg"; - mp3.type = "audio/mp3"; - ogg.src = name_ogg; - mp3.src = name_mp3; - - if (audio.firstChild.src!=ogg.src) - { - audio.replaceChild(ogg, audio.firstChild); - audio.replaceChild(mp3, audio.lastChild); - } + /* + audio.firstChild.src = name_mp3; + audio.lastChild.src = name_ogg; + audio.load(); + */ } }