Improved styling of player lists
This improves the styling of the main player lists on the instance main page. Mainly it renders a border around each player and the associated arrows. It might still benefit from some fine-tuning, but I think the result is already decent.