Changes needed for portal#611 (closed). Includes:
- Removing
box-shadowfrom all components to give a more flat look. - Change default theme-dependent colors for
Nav, so that they don't have to be explicitly specified on Portal. - Allow
Headerto be a link.