retypeset top nav, see #40