a[href]:link { color: #155c75; }
a[href]:visited, a[href]:hover { color: #185f9b; }

#header {
  
}

#header #title,
#header #title a[href],
#header #sub-title,
#header #sub-title a[href] {
  color: #163754;
}

#header-bar {
  background-color: #163754;
}

#header .nav li a[href] {
  color: white;
  background-color: #163754;
}

#header .nav li a[href]:hover {
  background-color: #185f9b;
}

#header .nav li.current a[href] {
  background-color: #185f9b;
}

.toc li a[href] {
  color: #155c75;
}

.toc li a[href]:hover {
  color: #185f9b;
}