" class="rcbutton" href="javascript:document.vlc.play();"> " />   " class="rcbutton" href="javascript:document.vlc.pause();"> " />   " class="rcbutton" href="javascript:document.vlc.stop();"> " />       " class="rcbutton" href="javascript:volume_down()"> " src="images/quiet." />   " class="rcbutton" href="javascript:volume_up()"> " src="images/loud." />   " class="rcbutton" href="javascript:document.vlc.mute();"> " />       " class="rcbutton" href="javascript:document.vlc.fullscreen();"> " /> : :

" class="rcbutton" href="javascript:doPlayOrPause();"> " />   " class="rcbutton" href="javascript:doPlayOrPause();"> " />   " class="rcbutton" href="javascript:document.vlc.stop();"> " />       " class="rcbutton" href="javascript:document.vlc.toggleMute();"> " />       " class="rcbutton" href="javascript:document.vlc.fullscreen();"> " /> :