Further refinements.

Type changes, media query adjustments, HiDPI images, icon font instead
of image sprite, and other things.