Tidied up the recording script to use named variables, and added an optional file...

[recordtv.git] / include / div_time.html

<div class='timediv' style='left: $leftpx; width: $widthpx;'>$time</div>