always hide #nav_dummy

#nav_dummy should be removed by diazo. If this is not
the case it sometimes breaks the layout. To avoid that
we don't display it at all.