Update to Twitter Bootstrap v3.3.1, fixes #42
Better integration of the search input in the navbar, fix #40

  #40 will still appear if there are a lot of menu entries though.