Added auto-resizing of the time slider to adjust for different time line
sizes (still not completely scalable though)