gustafn
committed
on 05 Feb 23
added navigation bar to be able to jump to parameter sections