// ==UserScript==
// @name html5-player
// @namespace substream
// @description change the flashplayer to an audio tag
// @include http://substream.at/
// @version 1
// @grant none
// ==/UserScript==
var player = document.getElementsByClassName('player') [0];
player.innerHTML = '<span style="font-size:25px;margin-right:10px;" onclick="var player = document.getElementById(\'html5-player\');player.src=\'http://stream.mur.at:8000/substream-128kbit.mp3\';player.play();">▶</span><span style="font-size:25px;" onclick="var player = document.getElementById(\'html5-player\');player.pause();player.src=\'\';">◼</span><audio preload="none" id="html5-player"></audio>'