Fixes for user-finder on mobile

Closes #188 (closed) - search button added
Closes #179 (closed) - logo now quickly fades out when searchbox is present (only for mobile layout)

changed the description

added 27m of time spent at 2018-12-03

added 12 commits

• 6b3489a4...480f617c - 11 commits from branch develop
• 7a13c530 - Merge remote-tracking branch 'upstream/develop' into search-mobile-fixes

Compare with previous version

LGTM, just merge yourself after fixing conflicts

added 212 commits

• 7a13c530...5b6c1aa9 - 211 commits from branch develop
• bd745543 - Merge remote-tracking branch 'upstream/develop' into search-mobile-fixes

Compare with previous version

enabled an automatic merge when the pipeline for bd745543 succeeds

mentioned in commit a158e75a

merged