Keep navigation in documentation and CSS bug fix