html {
  font-family: sans-serif;
  -ms-text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%;
}
header {
  background-color: #1e64be;
  color: #ffffff;
  display: block;
  min-height: 44px;
}
header a, header a:hover {
  color: #ffffff;
}
#user_display, nav {
  margin-top: 12px;
}
nav {
  display: block;
  float: right;
}
nav a {
  margin-left: 18px;
  font-size: 14px;
  font-weight: bold;
  text-rendering: optimizeLegibility;
  font-family: Helvetica, Arial, sans-serif;
}
@media (max-width: 800px) {
  nav {
    margin-bottom: 12px;
  }
}
#logo {
  margin-top: 5px;
}
#logo, #user_display {
  float: left;
}