More work on the navbar and show headings button no longer does anything if headings are already showing!