diff -r 0055b4bee4e3 -r 8c3f0b94d056 web/static/res/js/audio.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/static/res/js/audio.js Wed Jan 16 08:26:00 2013 +0100 @@ -0,0 +1,19 @@ + + // Grab a handle to the video + var audio = document.getElementsByTagName('audio'); + // Turn off the default controls + audio.controls = false; + +/* function togglePlayPause() { + var playpause = document.getElementById("playpause"); + if (video.paused || video.ended) { + playpause.title = "pause"; + playpause.innerHTML = "pause"; + video.play(); + } + else { + playpause.title = "play"; + playpause.innerHTML = "play"; + video.pause(); + } +}*/ \ No newline at end of file