Undoing the fixed navigation styles for the documentation site - problematic when you don't have that much height in your browser

[skip ci]