/* Global color scheme (restored) */
a { color: #22313F; }
a:hover { color: #7aaecc; }