Player improvements
This implements #31 (closed) and (a part of) #33. It also improves the display of the preferences on the main page and prevents the link color from changing after clicking on one (since the color change inhomogenizes longer link lists and it is not a relevant information if a link has been visited).
Edited by Robin Stoll