User blog comment:Rupert Giles/Global Navigation Update/@comment-29856430-20141203230551

This is bad. Absolutely horrible. At the very least, you should be able to change the color, or make it optional! Seriously, this takes away a lot of customization that wikis bring.