Some lobby GUI cleanup and a small bug fix

I tweaked the lobby styling to work on lower resolutions, be more space efficient, and be more readable. I also fixed some minor typos and spacing issues in the lobby.js comments. The last thing I did was fix a bug that leper pointed out in gamesetup.js.