docs-navbar.html: reindent and use our classes.
docs-navbar.html: reindent and use our classes.

tjkohli/bootstrap,inway/bootstrap,coliff/bootstrap,GerHobbelt/bootstrap,twbs/bootstrap,inway/bootstrap,twbs/bootstrap,m5o/bootstrap,peterblazejewicz/bootstrap,inway/bootstrap,peterblazejewicz/bootstrap,GerHobbelt/bootstrap,zalog/bootstrap,zalog/bootstrap,zalog/bootstrap,coliff/bootstrap,GerHobbelt/bootstrap,peterblazejewicz/bootstrap,m5o/bootstrap,tjkohli/bootstrap