WIP: Reskin
Reindent
Remove grid system temporarily and keep on truckin'
WIP: All the things
WIP: Style jar page
Fix failing jar-link test
WIP: Move article wrapper into templates
More per-page specific containers
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