Porting the navigation to Twitter Bootstrap