Keep looking!
If there are no servers available, keep trying. If we lose connection, bring the server list view back up.
Use a new shader for the int value bars to fade them out as they go, to make changes in value appear more obvious. Also some updates to gui.fs to make for smoother transitions and a nicer looking glow.