General cleanup

- use compound properties when possible
- don't use hex when color names are available
- don't duplicate style blocks
Remove clearfixes

See http://stackoverflow.com/a/8554054 for more info on how to avoid
these.
Apply classes more consistently
Add meta viewport tag for mobile

More info:
- http://getbootstrap.com/css/#overview-mobile
- https://developer.mozilla.org/en-US/docs/Web/HTML/Element/meta
Use bootstrap's grid, remove padding

The padding will be added back shortly, but some of it was made
unnecessary by bootstrap
Update styles

- add bootstrap's grid
- update the colors
- update the padding
- try to update some font sizes
- remove unneeded styles
- remove some unneeded markup

There's still a lot to do, but this is a start. Some things that aren't
in comments below:
- remove now unused classes
- double check everything
- check it on mobile
- check it in other browsers
- center the 'push with leiningen' text
Remove unneeded attribute

text/javascript is assumed if not present:
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script#Attributes
Finish up the dashboard page

- use the grid system for hero text, but reflow the text on small
screens
- transition navigation/recent jar colors
- disallow blank searches
- pad the recent jars link so you can click the whole box
- fix up the padding and text-sizes a bit (these are still probably off)
- fix up the colors a lit (these are probably still off)
- use the grid on more screen types (to not immediately snap to one
column when the screen gets smaller)
- remove the search button for smaller screens
- vertically center the navigation and add a background color on hover
Default to a small header

- use the large header just on the dashboard page

Still TODO for the small header:
- fix it on mobile
- fix the colors
- fix the padding
Extract the footer
Add total downloads count to recently pushed jars

Conflicts:
	src/clojars/web/dashboard.clj
Mostly finished redesign

Still todo:
- make sure all flash/error messages are styled
- double check colors & consistency
- fix padding everywhere
- address 'FIXME' comments
  - some of these are decisions to be made, others are just unfinished
    stuff
- remove unneeded ids in favor of reusable classes
- fix the small header on mobile
  - also this hasn't been checked when logged in
- make a search form if the /search route is hit with no 'q' query
  parameter?
- fix the github link on the jar page (right now it just links to
  github.com)
- there's no logo in the redesign at the moment
start fixing tests
more test fixes
Remove unneeded styles
fix integrations-jars tests
more test fixes
Fix bugs around recent jars

- Fixes a bug where you couldn't click the description text to follow
the link
- Fixes a bug where sometimes there would be a scroll bar on the bottom
of the page (thanks @sigmavirus24)
- Moves the .recent-jar* styles closer together
General cleanup

- use hiccup form helpers when possible
- specify how many grid columns for all screen sizes
- use when instead of if when there is only one condition
Fix more tests, selectors, page styles