CSS: switch to Source Sans Pro from Google Web Fonts, and put a pale stroke on all SVG paths