removed redundant code for selecting font color for player name

[rocksndiamonds.git] / docs / elements / extra_time.txt

You pick it up, it gives you 10 more units of time.
It has no effect in an untimed level (other than points).