# Improve docs navigation bar