Fix doc-nav behaviour on FF