Thanks - it is powered by https://github.com/christian-fei/Simple-Jekyll-Search and it is a jekyll theme modified underneath