<commit_before>/*
 * Base structure
 */

/* Move down content because we have a fixed navbar that is 50px tall */
body {
  background: #D4ECE4;
  padding: 15px;
}

/*
 * Global add-ons
 */

.sub-header {
  padding-bottom: 10px;
  border-bottom: 1px solid #eee;
}

/*
 * Top navigation
 * Hide default border to remove 1px line.
 */
.navbar-fixed-top {
  border: 0;
}

/*
 * Sidebar
 */

/* Hide for mobile, show later */
.sidebar {
  display: none;
  /*margin-right: 100px;*/
}
@media (min-width: 768px) {
  .sidebar {
    position: fixed;
    top: 0px;
    bottom: 0;
    left: 0;
    z-index: 1000;
    display: block;
    padding: 20px;
    overflow-x: hidden;
    overflow-y: auto; /* Scrollable contents if viewport is shorter than content. */
  }
}

/* Sidebar navigation */
.nav-sidebar {
  margin-right: -21px; /* 20px padding + 1px border */
  margin-bottom: 20px;
  margin-left: -20px;
}
.nav-sidebar > li > a {
  padding-right: 20px;
  padding-left: 20px;
}
.nav-sidebar > .active > a,
.nav-sidebar > .active > a:hover,
.nav-sidebar > .active > a:focus {
  color: #fff;
  background-color: #428bca;
}


/*
 * Main content
 */

.main {}
@media (min-width: 768px) {
  .main {
    padding-right: 40px;
    padding-left: 10px;
  }
}
.main .page-header {
  margin-top: 0;
}

#site-description {
  margin-top: 20px;
}

.page-element {
  background: #FFFFFF;
  box-shadow: 0px 0px 0px 1px rgba(63,63,68,0.10), 0px 1px 2px 0px rgba(0,0,0,0.05);
  border-radius: 4px;
  padding-top: 10px;
  padding-bottom: 10px;
}

.page-title-header {
  margin-top: 10px;
  font-family: Roboto-Medium;
  font-size: 25px;
  color: #73879C;
  font-weight: bold;
  line-height: 29px;
  margin-bottom: 15px;
}

.page-title-body {
  font-family: Roboto-Regular;
  font-size: 14px;
  color: #73879C;
  line-height: 19px;
  margin-bottom: 15px;
}

.scores-board {
  font-family: Roboto-Bold;
  font-size: 22px;
  color: #73879C;
}

.scores-board-element {
  background: #F7F7F7;
  box-shadow: 0px 0px 0px 1px rgba(63,63,68,0.10), 0px 1px 2px 0px rgba(0,0,0,0.05);
  border-radius: 4px;
  margin-bottom: 30px;
  padding: 15px;<commit_msg>Change font-size in .page-title-header from 25px to 24px<commit_after>/*
 * Base structure
 */

/* Move down content because we have a fixed navbar that is 50px tall */
body {
  background: #D4ECE4;
  padding: 15px;
}

/*
 * Global add-ons
 */

.sub-header {
  padding-bottom: 10px;
  border-bottom: 1px solid #eee;
}

/*
 * Top navigation
 * Hide default border to remove 1px line.
 */
.navbar-fixed-top {
  border: 0;
}

/*
 * Sidebar
 */

/* Hide for mobile, show later */
.sidebar {
  display: none;
  /*margin-right: 100px;*/
}
@media (min-width: 768px) {
  .sidebar {
    position: fixed;
    top: 0px;
    bottom: 0;
    left: 0;
    z-index: 1000;
    display: block;
    padding: 20px;
    overflow-x: hidden;
    overflow-y: auto; /* Scrollable contents if viewport is shorter than content. */
  }
}

/* Sidebar navigation */
.nav-sidebar {
  margin-right: -21px; /* 20px padding + 1px border */
  margin-bottom: 20px;
  margin-left: -20px;
}
.nav-sidebar > li > a {
  padding-right: 20px;
  padding-left: 20px;
}
.nav-sidebar > .active > a,
.nav-sidebar > .active > a:hover,
.nav-sidebar > .active > a:focus {
  color: #fff;
  background-color: #428bca;
}


/*
 * Main content
 */

.main {}
@media (min-width: 768px) {
  .main {
    padding-right: 40px;
    padding-left: 10px;
  }
}
.main .page-header {
  margin-top: 0;
}

#site-description {
  margin-top: 20px;
}

.page-element {
  background: #FFFFFF;
  box-shadow: 0px 0px 0px 1px rgba(63,63,68,0.10), 0px 1px 2px 0px rgba(0,0,0,0.05);
  border-radius: 4px;
  padding-top: 10px;
  padding-bottom: 10px;
}

.page-title-header {
  margin-top: 10px;
  font-family: Roboto-Medium;
  font-size: 24px;
  color: #73879C;
  font-weight: bold;
  line-height: 29px;
  margin-bottom: 15px;
}

.page-title-body {
  font-family: Roboto-Regular;
  font-size: 14px;
  color: #73879C;
  line-height: 19px;
  margin-bottom: 15px;
}

.scores-board {
  font-family: Roboto-Bold;
  font-size: 22px;
  color: #73879C;
}

.scores-board-element {
  background: #F7F7F7;
  box-shadow: 0px 0px 0px 1px rgba(63,63,68,0.10), 0px 1px 2px 0px rgba(0,0,0,0.05);
  border-radius: 4px;
  margin-bottom: 30px;
  padding: 15px;
{'fraction_non_alphanumeric': 0.1580547112462006, 'fraction_numerical': 0.0673369184007482, 'mean_word_length': 2.867992766726944, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 19, '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': '5211287', 'n_tokens_mistral': 1987, 'n_tokens_neox': 1737, 'n_words': 420}