User blog comment:Rupert Giles/Global Navigation Update/@comment-28736347-20141203195811/@comment-2109035-20141203205137

You just proved his point. With a few tweaks, it'll be smaller and the color scheme will be more pleasing to look at for each wiki, in other words customizable.