Fully functional level search!#150

zainojdaf wants to merge 20 commits into

web-dashers:mainweb-dashers/web-dashers.github.io:mainfrom

zainojdaf:mainzainojdaf/web-dashers.github.io:mainCopy head branch name to clipboard