nav bar spacer modified
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
Added buttons to scss
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Fixed some button styles and fixed applications view, it is now much more intuitive to install an app
some pixelpushing
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
Imported buttons scss
Added new button definitions to scss, no bootstrap required there anymore
Fixed dropdown layout which was broken for imports
Removed unused routes and views and templates
Fixed graphviewer dropdown menu and several other css mismatches
Merge branch 'sharding' of https://github.com/triAGENS/ArangoDB into sharding
Merge remote-tracking branch 'origin/devel' into sharding

And regenerated scss

Conflicts:
	js/apps/system/aardvark/frontend/js/templates/foxxInstalledView.ejs
	js/apps/system/aardvark/frontend/scss/_buttons.scss
	js/apps/system/aardvark/frontend/scss/_colors.scss
	js/apps/system/aardvark/frontend/scss/generated.css
The download menu is now hidden by default
Merge branch 'sharding' of https://github.com/triAGENS/ArangoDB into sharding