ev3dev/ev3dev.github.io — pull request #21 by WasabiFan (2014-10-11 01:43:50+00:00)
Title: Add site-wide search

This adds site-wide search so that one can search the docs, projects and other pages. Because we are limited by Jekyll and can't do any processing on the server, I decided to make it a fast as possible by dynamically loading the search page (which I can change if it feels weird). Once we get more documentation migrated, I think being able to search will make it a lot easier to find useful docs.