" 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()"> <?% gettext( " 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();"> " />

: