-
Robert Ricci authored
a bit of whitespace so that the menu is easier to read, and shrink the font down a bit. Move all admin options to one place in the menu. All users now the link to the planetlab_ez page. Comment out the survey for now - we can resurrect it if we ever have new questions to ask.
62f006a1