using font awesome project for vectorial text-based icons
Fixed search options, and introduced the Quick tour
merging conflicts, using local changes