tree fa6738b966d0c2e21cb4a06e3ae0931254e9ec0d
parent 12de8838924c8f14e803bf090da34fe0ef5de102
author Tom <tw201207@gmail.com> 1416010187 +0100
committer Tom <tw201207@gmail.com> 1416010187 +0100

Minor corrections in Javascript

1. Stop running animation before starting a new one.
2. Fix ratio in animation
3. Fix div width

None of these change have any visible effect in the current use of
this script. (1) is just being safe, in (2) , the wrongly calculated
value was never used,and in (3), the div was a little too wide before.