Add top navbar
Add session widget
Use "symbols" url for "symbols"
Remove body css
Add jumbotron
Add tab controllers and padding
Add more content kind marking
Comment code of ontology search
Improve size of search fields
Use name of user instead of the word "you", "user", and "settings"
Unify the design of search bars
Link bootstrap3
Move jobs into iframe
Remove uploads
Merge branch 'git' into augmenting245_redesigning_website

Conflicts:
	app/assets/stylesheets/application.css.sass
	app/controllers/repositories_controller.rb
Fix paddings
merge augmenting245_redesigning_website