Merge pull request #12 from rentonsa/master

LIB001-428 - Move javascript out of search results.php
Merge pull request #13 from rentonsa/master

CSS issues for highlighting
LIB001-437 changed from Euchmi to Mimed
Merge pull request #14 from seesmith/master

LIB001-437 changed from Euchmi to Mimed
Merge remote-tracking branch 'upstream/master'

'Changes from EUCHMI to MIMEd'.
LIB001-438 Make highlighting configurable