--- /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