some js formatting additions including timelength