<commit_before>@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('../fonts/eot/DejaVuSansMono-Bold-webfont.eot');
    src: local('DejaVu Sans Mono Bold'),
         url('../fonts/eot/DejaVuSansMono-Bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-Bold-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-Bold-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-Bold-webfont.svg#dejavu_sans_monobold') format('svg');
    font-weight: 700;
    font-style: normal;
}
@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('../fonts/eot/DejaVuSansMono-BoldOblique-webfont.eot');
    src: local('DejaVu Sans Mono Bold Oblique'),
         url('../fonts/eot/DejaVuSansMono-BoldOblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-BoldOblique-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-BoldOblique-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-BoldOblique-webfont.svg#dejavu_sans_monobold_oblique') format('svg');
    font-weight: 700;
    font-style: italic;
}
@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('../fonts/eot/DejaVuSansMono-webfont.eot');
    src: local('DejaVu Sans Mono Regular'),
         url('../fonts/eot/DejaVuSansMono-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-webfont.svg#dejavu_sans_monobook') format('svg');
    font-weight: 400;
    font-style: normal;
}
@font-face {
    font-family: 'DejaVu Sans Mono';
    src: url('../fonts/eot/DejaVuSansMono-Oblique-webfont.eot');
    src: local('DejaVu Sans Mono Regular Oblique'),
         url('../fonts/eot/DejaVuSansMono-Oblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-Oblique-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-Oblique-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-Oblique-webfont.svg#dejavu_sans_monooblique') format('svg');
    font-weight: 400;
    font-style: italic;
}

body {
  color: $base-font-color;
  font-family: $base-font-family;
  //font-feature-settings: "kern", "liga", "pnum";
  font-size: $base-font-size;
  line-height: $base-line-height;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: $heading-font-family;
  font-size: $base-font-size;<commit_msg>Force to lookup installed fonts first<commit_after>@font-face {
    font-family: 'DejaVu Sans Mono';
    src: local('DejaVu Sans Mono Bold'),
         local('DejaVuSansMono-Bold'),
         url('../fonts/eot/DejaVuSansMono-Bold-webfont.eot'),
         url('../fonts/eot/DejaVuSansMono-Bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-Bold-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-Bold-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-Bold-webfont.svg#dejavu_sans_monobold') format('svg');
    font-weight: 700;
    font-style: normal;
}
@font-face {
    font-family: 'DejaVu Sans Mono';
    src: local('DejaVu Sans Mono Bold Oblique'),
         local('DejaVuSansMono-BoldOblique'),
         url('../fonts/eot/DejaVuSansMono-BoldOblique-webfont.eot'),
         url('../fonts/eot/DejaVuSansMono-BoldOblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-BoldOblique-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-BoldOblique-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-BoldOblique-webfont.svg#dejavu_sans_monobold_oblique') format('svg');
    font-weight: 700;
    font-style: italic;
}
@font-face {
    font-family: 'DejaVu Sans Mono';
    src: local('DejaVu Sans Mono Regular'),
         local('DejaVuSans-Mono'),
         url('../fonts/eot/DejaVuSansMono-webfont.eot'),
         url('../fonts/eot/DejaVuSansMono-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-webfont.svg#dejavu_sans_monobook') format('svg');
    font-weight: 400;
    font-style: normal;
}
@font-face {
    font-family: 'DejaVu Sans Mono';
    src: local('DejaVu Sans Mono Regular Oblique'),
         local('DejaVuSansMono-Oblique'),
         url('../fonts/eot/DejaVuSansMono-Oblique-webfont.eot'),
         url('../fonts/eot/DejaVuSansMono-Oblique-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/woff/DejaVuSansMono-Oblique-webfont.woff') format('woff'),
         url('../fonts/ttf/DejaVuSansMono-Oblique-webfont.ttf') format('truetype'),
         url('../fonts/svg/DejaVuSansMono-Oblique-webfont.svg#dejavu_sans_monooblique') format('svg');
    font-weight: 400;
    font-style: italic;
}

body {
  color: $base-font-color;
  font-family: $base-font-family;
  //font-feature-settings: "kern", "liga", "pnum";
  font-size: $base-font-size;
  line-height: $base-line-height;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: $heading-font-family;
  font-size: $base-font-size;
{'fraction_non_alphanumeric': 0.1842301943198804, 'fraction_numerical': 0.006726457399103139, 'mean_word_length': 3.4608333333333334, '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': '2248965', 'n_tokens_mistral': 2317, 'n_tokens_neox': 2216, 'n_words': 246}