Made it possible to "remove" players

Removing stops them from being shown on the ladder, but does not
affect scores or history
Made all buttons have the same font-size