Revert the nav reversion reverted by Mario.  There's no point
putting it back in Redbasic, because that's completely fucked
in KHTML now - but I'm having it here.