same scroll behaviour for platform and device search
Closes #25 (closed)
Goals of this MR:
- use the same scroll behaviour for both, platform and device search
- platform results are only shown when type "Platform" was chosen and device results are only shown when type "Device" was chosen (the behaviour before was somewhat irritating)