badmadblacksad/0ad — pull request #1 by JoshuaJB (2013-07-12 00:02:30+00:00)
Title: 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.