/*
     FILE ARCHIVED ON 8:04:01 Feb 14, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 2:55:53 Apr 14, 2016.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/* Use this CSS file when we want to add styles outside of the Bootstrap files */
@-ms-viewport { width:device-width; zoom:1.0; }

/* Set smaller font size for non-media query browsers */
.navbar {
  font-size: 11px;
}

.navbar .nav-compact {
  display: none;
}

.navbar-inverse .dropdown-menu {
  text-align: left;
}

.navbar .brand .ct-logo {
  width: inherit;
}

.leaderboard {
  margin: 60px 0;
  text-align: center;
}

@media (max-width: 1824px) {
  
  .navbar {
    font-size: 12px;
  }
  
}

@media (max-width: 1000px) {
  
  .navbar .nav-compact {
    display: none;
  }
  
  .navbar .brand {
    float: left;
  }
  
  .navbar .nav-full {
    display: block;
  }
  
  .leaderboard {
    margin: 0 0 15px;
  }
  
}

@media (max-width: 1000px) and (min-width: 960px) {
  
  .navbar {
    font-size: 11px;
  }
  
}

@media (max-width: 960px) {
  
  .navbar .nav-compact {
    display: block;
  }
  
  .navbar .brand {
    float: right;
  }
  
  .navbar .nav-full {
    display: none;
  }
  
}

@media (max-width: 767px) {
  
  .leaderboard {
    display: none;
  }
  
}