[Geoserver-devel] GeoServer restyling and editing the wiki

Hi,
I noticed today the geoserver.org rebranding is making
quite a bit harder to edit pages on the wiki.

Here is a screenshot:
http://www.flickr.com/photos/29110296@anonymised.com/2963243587/sizes/l/

As you can see, the edit area is very very small, making
editing a pain.
Moreover, the link to the wiki syntax is gone (and I don't
remember all of it by heart).

Finally, I also noticed that in the standard page (non
edit mode) there is no indication of who edited the
page, and when. Given this is a wiki, it's quite a
missing piece, to tell if the page is old or new
I have to go into the info link.

Cheers
Andrea