Presentation: site header fix, colors

- Transition fix for SVG circle (fades out properly now)
- Swap alt-nav colors
- Slight adjustments to site-header design (padding, scale, flexibility)
- Syntax highlighting
- Source Code Pro font conditionally loaded for articles with code in them
- All new colors