<commit_before>$brand-logo:                 #1a8cd2;
$gray:                       lighten(#bfc5c9, 15%);
$silver:                     #bfc5c9;
$gray-darker:                darken($silver, 20%);
$gray-light:                 lighten($silver, 20%);
$gray-lighter:               lighten($silver, 21%);

body {
  margin-bottom: 340px !important;
}
.navbar-default .navbar-brand {
  padding: 0 15px 17.5px 15px;

  img {
    display: inline;
  }
  span {
    vertical-align: middle;
  }
  span.logo {
    color: $brand-logo;
  }
}

@import 'application';

.header {
  margin-bottom: 20px;
}

.post-list {
  margin-bottom: 10px !important;
}
.post-content {
  width: 100%;
  font-family: $font-family-serif;
  color: #333333;

  h1, h2, h3 {
    font-family: $font-family-sans-serif;
    margin-top: 0;
  }
  h2, h1 {
    letter-spacing: -0.02em;
    font-weight: 400;
    font-size: 32px;
    line-height: 1.2;
    padding-top: 0;
    margin-bottom: 4px;
  }
  h1 {
    padding-top: 12px;
    font-size: 42px;
  }
  h3, h4, h5, h6 {
    letter-spacing: -0.02em;
    font-weight: 400;
    font-size: 24px;
    line-height: 1.3;
    margin: 0;
    margin-bottom: 4px;
  }
  p, .description {
    font-weight: normal;
    font-size: 18px;
    line-height: 1.5;
    margin: 0;
    padding-bottom: 16px;
    color: #333333;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    hyphens: auto;
  }
  .description {
    padding-bottom: 0;
  }
  a {
    color: $peter-river;
    text-decoration: none;
  }
  img {
    max-width: 100%;
    margin: 0 auto;
  }
  figure {
    margin: 0;
    padding: 0 0 30px;
  }
  figcaption {
    font-family: $font-family-sans-serif;
    font-size: 18px;
    margin-top: .25em;
    outline: 0;
    z-index: 300;
  }
  hr {
    border: 0;
    padding: 0;
    display: block;
    width: 15%;
    margin: 30px auto;
    border: 0px solid #dddddd;
    border-top: 1px solid #dddddd;
  }
  blockquote {
    border-left: 3px solid #57ad68;
    padding-left: .5em;
    p {
      letter-spacing: 0.01rem;
      font-weight: 400;
      font-style: italic;
      mborder-left: 3px solid #57ad68;
      mpadding-left: 20px;
      mmargin-left: -26px;
      padding-bottom: 3px;
    }
  }
  ul, ol {
    padding: 0 0 16px;
    margin: 0;
  }
  li {
    padding: 0;
    font-size: 18px;
    line-height: 1.4;
    margin-left: 30px;
    margin-bottom: 6px;
    padding-top: 2px;
    p {
      padding: 0 0 golden-ratio(1rem, 1);
    }
  }
  ol li {
    list-style-type: decimal;
  }
  table {
    border:1px solid $gray;
    border-collapse:collapse;
    display:table;
    empty-cells:hide;
    margin:-1px 0 23px;
    padding:0;
    table-layout:fixed
  }
  tr {
    .header td,th {
      font-size: 21px;
      background: $gray;
    }
  }
  td,th {
    vertical-align: top;
    font-family: $font-family-sans-serif;
    font-size: 1em;
    line-height: 1.2;
    padding-top: 6px;
    padding-bottom: 6px;
    padding-left: 13px;
    padding-right: 13px;

    p {
      padding: 0;
    }
  }
  table tr:nth-child(odd) {
    background: white;
  }
  table tr:nth-child(even) {
    background: $gray-lighter;
  }
}
.panel-table {
  table {
    border: 1px solid $gray;
    border-collapse: collapse;
    display: table;
    empty-cells: hide;
    margin: -1px 0;
    padding: 0;
    table-layout: fixed
  }
  tr {
    .header td,th {
      font-size: 21px;
      background: $gray;
    }
  }
  td,th {
    vertical-align: top;
    font-family: $font-family-sans-serif;
    font-size: 1em;
    line-height: 1.2;
    padding-top: 6px;
    padding-bottom: 6px;
    padding-left: 13px;<commit_msg>reduce font size of code blocks in blog<commit_after>$brand-logo:                 #1a8cd2;
$gray:                       lighten(#bfc5c9, 15%);
$silver:                     #bfc5c9;
$gray-darker:                darken($silver, 20%);
$gray-light:                 lighten($silver, 20%);
$gray-lighter:               lighten($silver, 21%);

body {
  margin-bottom: 340px !important;
}
.navbar-default .navbar-brand {
  padding: 0 15px 17.5px 15px;

  img {
    display: inline;
  }
  span {
    vertical-align: middle;
  }
  span.logo {
    color: $brand-logo;
  }
}

@import 'application';

.header {
  margin-bottom: 20px;
}

.post-list {
  margin-bottom: 10px !important;
}
.post-content {
  width: 100%;
  font-family: $font-family-serif;
  color: #333333;

  h1, h2, h3 {
    font-family: $font-family-sans-serif;
    margin-top: 0;
  }
  h2, h1 {
    letter-spacing: -0.02em;
    font-weight: 400;
    font-size: 32px;
    line-height: 1.2;
    padding-top: 0;
    margin-bottom: 4px;
  }
  h1 {
    padding-top: 12px;
    font-size: 42px;
  }
  h3, h4, h5, h6 {
    letter-spacing: -0.02em;
    font-weight: 400;
    font-size: 24px;
    line-height: 1.3;
    margin: 0;
    margin-bottom: 4px;
  }
  p, .description {
    font-weight: normal;
    font-size: 18px;
    line-height: 1.5;
    margin: 0;
    padding-bottom: 16px;
    color: #333333;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    hyphens: auto;
  }
  .description {
    padding-bottom: 0;
  }
  a {
    color: $peter-river;
    text-decoration: none;
  }
  img {
    max-width: 100%;
    margin: 0 auto;
  }
  figure {
    margin: 0;
    padding: 0 0 30px;
  }
  figcaption {
    font-family: $font-family-sans-serif;
    font-size: 18px;
    margin-top: .25em;
    outline: 0;
    z-index: 300;
  }
  hr {
    border: 0;
    padding: 0;
    display: block;
    width: 15%;
    margin: 30px auto;
    border: 0px solid #dddddd;
    border-top: 1px solid #dddddd;
  }
  blockquote {
    border-left: 3px solid #57ad68;
    padding-left: .5em;
    p {
      letter-spacing: 0.01rem;
      font-weight: 400;
      font-style: italic;
      mborder-left: 3px solid #57ad68;
      mpadding-left: 20px;
      mmargin-left: -26px;
      padding-bottom: 3px;
    }
  }
  ul, ol {
    padding: 0 0 16px;
    margin: 0;
  }
  li {
    padding: 0;
    font-size: 18px;
    line-height: 1.4;
    margin-left: 30px;
    margin-bottom: 6px;
    padding-top: 2px;
    p {
      padding: 0 0 golden-ratio(1rem, 1);
    }
  }
  ol li {
    list-style-type: decimal;
  }
  table {
    border:1px solid $gray;
    border-collapse:collapse;
    display:table;
    empty-cells:hide;
    margin:-1px 0 23px;
    padding:0;
    table-layout:fixed
  }
  tr {
    .header td,th {
      font-size: 21px;
      background: $gray;
    }
  }
  td,th {
    vertical-align: top;
    font-family: $font-family-sans-serif;
    font-size: 1em;
    line-height: 1.2;
    padding-top: 6px;
    padding-bottom: 6px;
    padding-left: 13px;
    padding-right: 13px;

    p {
      padding: 0;
    }
  }
  table tr:nth-child(odd) {
    background: white;
  }
  table tr:nth-child(even) {
    background: $gray-lighter;
  }
  code {
    font-size: 16px;
  }
}
.panel-table {
  table {
    border: 1px solid $gray;
    border-collapse: collapse;
    display: table;
    empty-cells: hide;
    margin: -1px 0;
    padding: 0;
    table-layout: fixed
  }
  tr {
    .header td,th {
      font-size: 21px;
      background: $gray;
    }
  }
  td,th {
    vertical-align: top;
    font-family: $font-family-sans-serif;
    font-size: 1em;
    line-height: 1.2;
    padding-top: 6px;
    padding-bottom: 6px;
    padding-left: 13px;
{'fraction_non_alphanumeric': 0.14138215859030837, 'fraction_numerical': 0.05203744493392071, 'mean_word_length': 1.9701553556827474, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '647057', 'n_tokens_mistral': 3200, 'n_tokens_neox': 2862, 'n_words': 627}