It would be a nice feature to display the navigation bar on all HTML pages. (Currently it is missing for the source files)
Log in to post a comment.