Port nav show/hide functionality to Mark's js.