Description of problem: The new docs.redhat.com interface looks nice but the navigation bars that keep showing up and disappearing whenever I move my mouse are VERY annoying. There should be an option to leave them fixed or hidden until I consciously decide to show/hide them.
Thank you for reporting this issue. Switching the product to "publican" as the web page is generated by Publican.
It's been removed.