small UI improvements
small UI improvements
Merge branch 'master' of https://github.com/molgenis/molgenis
Merge pull request #115 from erwinwinder/master

SearchService connection
Merge branch 'master' of https://github.com/molgenis/molgenis
Merge branch 'master' of https://github.com/molgenis/molgenis
Merge pull request #117 from erwinwinder/master

Pagination
Merge pull request #118 from dennishendriksen/master

Data explorer UI improvements
Feature name/identifier
Merge branch 'master' of https://github.com/molgenis/molgenis
Filters and some styling