Simple search function

• Simple Search function with full text search.
• Source: https://github.com/christian-fei/Simple-Jekyll-Search

Closes #152 (closed)

assigned to @jandt-desy

mentioned in issue #152 (closed)

added Enhancement::UX label

changed the description

@frust45 would something like this useful to work with?

• any better idea where to put the search button, if not in the already crowded header?
• how to include the source's license?

requested review from @frust45

added Progress::4_Can review label

marked this merge request as ready

added 3 commits

• 9f10b538 - leave just the magnifier icon
• 5df5e029 - search role
• 7d0542c0 - some license links

Compare with previous version

added 24 commits

• 7d0542c0...29e783c8 - 23 commits from branch master
• 87c0d5be - Merge branch 'master' into simple-search

Compare with previous version

added 1 commit

• a9c3bc47 - Make search input field use Bootstrap style

Compare with previous version

resolved all threads

mentioned in commit 40096a21

merged

mentioned in commit 04b00c38

mentioned in commit 8c7400f9

mentioned in merge request !861 (merged)

mentioned in commit d5ba2621