docs navigation now stays at top on narrow screens - fixes #208