--- a/web/static/res/js/audio.js	Mon Jan 21 21:00:24 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-        	
-			// 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