/* Global color scheme supplement */
a { color: #4a6d8c; }
a:hover, a:focus { color: #33475b; }