Jade-HTML-Video Conversion

Jade conversion for video code.