any problems with the top navigation bar left?

[Stefan Kost <ensonic hora-obscura de>]

hi,

the topic says it all. For those who don't know about it, please have a look at:
http://bugzilla.gnome.org/show_bug.cgi?id=313569

I like to commit this to CVS. Open points:
* can anyone look at the attached sample page with the opera browser
* which of the two sections both names 'properties' should I rename?
  * 1st: into "Property Overview" / "Property List"
  * 2nd: into "Property Details"

Ciao
  Stefan

PS.: I'll be away over the weekend, so take your time ;)