improve dehub navigation bar (bug 750904)