Merge branch 'master' of https://github.com/shanti-uva/shantiHTML

Conflicts:
	css/search-panel.css