Enable scrolling in search results dropdown (#737)

Fixes #403

Author: Wdhanashri

css/customstyles-precice.css

@@ -148,7 +148,7 @@ div.col-flex {
   border-left: 1px solid #dedede;
   box-shadow: 2px 3px 2px #dedede;
   max-height: 800px;
-  overflow: hidden;
+  overflow: auto;
 }
 .result-item {
   /*margin-bottom: 30px;*/