header div.nav {
  float: right; }
  header div.nav a {
    color: black;
    margin: 5px 15px; }
    header div.nav a:hover {
      color: #5694f1; }


/*
playback timings (ms):
  captures_list: 0.596
  exclusion.robots: 0.024
  exclusion.robots.policy: 0.01
  esindex: 0.012
  cdx.remote: 14.383
  LoadShardBlock: 204.698 (3)
  PetaboxLoader3.datanode: 139.721 (5)
  PetaboxLoader3.resolve: 1044.246 (3)
  load_resource: 1142.643 (2)
*/