Misc improvements

- Fixed incorrect robots.txt

- Made minor CSS revision

- The user is now notified properly when no search results are returned.