<commit_before>body {
  font-family: 'Open Sans', sans-serif;
}

.header-banner {
  background-color: #222;
  font-family: 'Lato', sans-serif;
  background-image: url("/assets/jumbotron-background.jpg");
  text-align: center;
  padding: 190px 0 60px 0;
  text-shadow: rgba(0, 0, 0, 0.2) 0px 2px 0px;
  background-size: auto;

  background-repeat: no-repeat;
  background-position: center;
  background-position-y: -36px;
}

.overview-banner {
  -webkit-animation: fadein 5s; /* Safari, Chrome and Opera > 12.1 */
  -moz-animation: fadein 5s; /* Firefox < 16 */
  -ms-animation: fadein 5s; /* Internet Explorer */
  -o-animation: fadein 5s; /* Opera < 12.1 */
  animation: fadein 5s;
}

@keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Firefox < 16 */
@-moz-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Safari, Chrome and Opera > 12.1 */
@-webkit-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Internet Explorer */
@-ms-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Opera < 12.1 */
@-o-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

.header-banner h1 {
  color: #fff;
  font-size: 60px;
  font-weight: 300;
}

.header-banner p {
  color: rgba(255,255,255,0.9);
  font-size: 25px;
  font-weight: 300;
}

.header-banner img {
  height: 80px;
  padding-bottom: 10px;
  padding-right: 10px;
}

.header-banner .subtitle {
  margin-bottom: 20px;
}

.navbar {
  text-transform: uppercase;
  font-size: 14px;
}

/* Only override the auto-height of the navbar when it is expanded. */
@media (min-width: 768px) {
  .navbar {
  height: 56px;
  }
}

.navbar .navbar-nav {
  display: inline-block;
  float: none;
}

.navbar .navbar-collapse {
  text-align: center;
}

.navbar-brand img {
  height: 27px;
  display: inline;
  margin-top: -4px;
  margin-right: 3px;
}

.navbar-nav li {
  padding: 3px 8px 3px 8px;
}

.navbar-nav li.selected {
  background-color: #e6522c;
}

.navbar-nav li.selected a {
  color: white;
}

.sponsor-logos {
  text-align: center;
}

img.logo {
  width: 250px;
  display: inline-block !important;
  margin: 15px 55px 15px 55px;
}<commit_msg>Better item spacing in navigation bar.<commit_after>body {
  font-family: 'Open Sans', sans-serif;
}

.header-banner {
  background-color: #222;
  font-family: 'Lato', sans-serif;
  background-image: url("/assets/jumbotron-background.jpg");
  text-align: center;
  padding: 190px 0 60px 0;
  text-shadow: rgba(0, 0, 0, 0.2) 0px 2px 0px;
  background-size: auto;

  background-repeat: no-repeat;
  background-position: center;
  background-position-y: -36px;
}

.overview-banner {
  -webkit-animation: fadein 5s; /* Safari, Chrome and Opera > 12.1 */
  -moz-animation: fadein 5s; /* Firefox < 16 */
  -ms-animation: fadein 5s; /* Internet Explorer */
  -o-animation: fadein 5s; /* Opera < 12.1 */
  animation: fadein 5s;
}

@keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Firefox < 16 */
@-moz-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Safari, Chrome and Opera > 12.1 */
@-webkit-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Internet Explorer */
@-ms-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

/* Opera < 12.1 */
@-o-keyframes fadein {
  from { background-position-y: -150px; }
  to   { background-position-y: -36px; }
}

.header-banner h1 {
  color: #fff;
  font-size: 60px;
  font-weight: 300;
}

.header-banner p {
  color: rgba(255,255,255,0.9);
  font-size: 25px;
  font-weight: 300;
}

.header-banner img {
  height: 80px;
  padding-bottom: 10px;
  padding-right: 10px;
}

.header-banner .subtitle {
  margin-bottom: 20px;
}

.navbar {
  text-transform: uppercase;
  font-size: 14px;
}

/* Only override the auto-height of the navbar when it is expanded. */
@media (min-width: 768px) {
  .navbar {
  height: 56px;
  }
}

.navbar .navbar-nav {
  display: inline-block;
  float: none;
}

.navbar .navbar-collapse {
  text-align: center;
}

.navbar-brand img {
  height: 27px;
  display: inline;
  margin-top: -4px;
  margin-right: 3px;
}

.navbar-nav li {
  padding: 3px 0 3px 0;
  width: 170px;
}

.navbar-nav li.selected {
  background-color: #e6522c;
}

.navbar-nav li.selected a {
  color: white;
}

.sponsor-logos {
  text-align: center;
}

img.logo {
  width: 250px;
  display: inline-block !important;
  margin: 15px 55px 15px 55px;
}
{'fraction_non_alphanumeric': 0.15920084121976866, 'fraction_numerical': 0.05362776025236593, 'mean_word_length': 3.0067396798652064, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6112770', 'n_tokens_mistral': 2114, 'n_tokens_neox': 1853, 'n_words': 435}