Bugfixes and Enhancements

Different small bugs have been fixed. Also started with adding the
search function for the mobile version in the navigation menu. This part
is only viewable on the index.html page.