.mi, .mo, .mn {
  color: #317293;
}

a {
  color: #3091d1;
}

a:visited {
  color: #3091d1;
}

a:hover {
  color: #ff5722;
}

nav.toc .logo {
  max-width: 256px;
  max-height: 256px;
}
