Looks like they use nHTML (or whatever the HTML dll is) and used the <embeded> tags to put a media player it. They construct the html page with the "Src" property containing the file name.

-KingTomato