UI/CSS refinements, part 1
A few patches for UI/CSS that allow better/easier styling in themes.
- Patches 0001 and 0002:
Replaces all uses of image_tag() to render icons with icon-* definitions. This makes is possible to replace all these icons with Font-based icons, e.g. FontAwesome.
- Patch 0003:
A unimportant change to use the PDF icon for "Also available in PDF" links
- Patch 0004:
Updates pagination to use <ul> and <li> to render the pagination part
- Patch 0005:
Building on top of patch 0004, changes pagination to a GitHub like design that also looks and feels nice in responsive mode
Based on r14881, everything passes "rake test" and is tested in Firefox 42, Safari 9 and Chrome 46.
More to come :)