<commit_before>//colors
$color_mine_shaft_approx: #333333;
$black: black;
$white: #ffffff;
$red: #ff0000;
$blue: blue;
$color_concrete_approx: #f3f3f3;
$color_celeste_approx: #ccc;

//fonts
$font_1: "Arial";
$font_2: "Arial Bold";
$font_3: "sans-serif";

body {
  width: 480px;
  font-family: $font_2, $font_1;
  font-weight: 700;
  font-style: normal;
  color: $color_mine_shaft_approx;
  text-align: left;
  line-height: normal;
}

header {
  left: 0;
  top: 0;
  width: 100%;
  margin: -19px 0 10px -8px;
  div {
    &.banner {
      height: 60px;
      width: 100%;
      background-color: $black;
      img {
        position: absolute;
        left: 20px;
        top: 12px;
        width: 35px;
        height: 26px;
      }
      h1 {
        position: absolute;
        left: 71px;
        width: 300px;
        height: 34px;
        font-size: 29px;
        color: $white;
      }
    }
  }
  h2 {
    margin: 0;
    padding: 10px 20px;
  }
  #happybrowser {
    width: 100%;
    padding: 20px;
    display: none;
    color: $red;
    font-weight: normal;
    font-size: 13px;
    height: 20px;
    text-align: center;
  }
}

.container {
  width: 480px;
  float: left;
  overflow: hidden;
}

.header {
  width: 468px;
  float: left;
  overflow: hidden;
  padding: 0 6px;
  margin: 10px 0;
  .right {
    float: right;
  }
}

.header-row-zero {
  width: 462px;
  background-color: $white;
  float: left;
  .title {
    float: left;
    font-family: $font_1, $font_3;
    color: $black;
    font-size: 18px;
    font-weight: bold;
  }
  .time {
    float: right;
    font-family: $font_1, $font_3;
    color: $black;
    font-size: 14px;
    font-weight: normal;
  }
}

.header-row-one {
  width: 423px;
  background-color: $white;
  float: left;
  margin-left: 45px;
  font-family: $font_1, $font_3;
  color: $black;
  font-size: 34px;
  font-weight: bold;
}

.header-row-two {
  width: 462px;
  float: left;
  font-family: $font_1, $font_3;
  color: $black;
  font-size: 14px;
  font-weight: normal;
  .left-indent {
    float: left;
    margin-left: 45px;
  }
}

a {
  &:focus {
    text-decoration: underline;
  }
  &:active {
    text-decoration: underline;
  }
}

.details {
  width: 480px;
  float: left;
  overflow: hidden;
  background-color: $color_concrete_approx;
  padding: 0 6px;
  color: $black;
  font-size: 16px;
  font-family: $font_2, $font_1;
  font-weight: 700;
  font-style: normal;
  .table-row {
    width: 468px;
    float: left;
    border-top: 1px solid $color_celeste_approx;
    padding: 10px 0;
  }
  .availability {
    border-top: 4px solid $black;
    border-bottom: 4px solid $black;
    margin-bottom: 10px;
  }
  .left {
    float: left;
  }
  .right {
    float: right;
  }
  .left-indent {<commit_msg>tidy up font declarations in scss<commit_after>//colors
$color_mine_shaft_approx: #333333;
$black: black;
$white: #ffffff;
$red: #ff0000;
$blue: blue;
$color_concrete_approx: #f3f3f3;
$color_celeste_approx: #ccc;

//fonts
$font_generic: "Arial", "sans-serif";
$font_bold: "Arial Bold", "Arial", "sans-serif";

body {
  width: 480px;
  font-family: $font_bold;
  font-weight: 700;
  font-style: normal;
  color: $color_mine_shaft_approx;
  text-align: left;
  line-height: normal;
}

header {
  width: 100%;
  margin: -19px 0 10px -8px;
  div {
    &.banner {
      height: 60px;
      width: 100%;
      background-color: $black;
      img {
        position: absolute;
        left: 20px;
        top: 12px;
        width: 35px;
        height: 26px;
      }
      h1 {
        position: absolute;
        left: 71px;
        width: 300px;
        height: 34px;
        font-size: 29px;
        color: $white;
      }
    }
  }
  h2 {
    margin: 0;
    padding: 10px 20px;
  }
  #happybrowser {
    width: 100%;
    padding: 20px;
    display: none;
    color: $red;
    font-weight: normal;
    font-size: 13px;
    height: 20px;
    text-align: center;
  }
}

.container {
  width: 480px;
  float: left;
  overflow: hidden;
}

.header {
  width: 468px;
  float: left;
  overflow: hidden;
  padding: 0 6px;
  margin: 10px 0;
  .right {
    float: right;
  }
}

.header-row-zero {
  width: 462px;
  background-color: $white;
  float: left;
  .title {
    float: left;
    font-family: $font_generic;
    color: $black;
    font-size: 18px;
    font-weight: bold;
  }
  .time {
    float: right;
    font-family: $font_generic;
    color: $black;
    font-size: 14px;
    font-weight: normal;
  }
}

.header-row-one {
  width: 423px;
  background-color: $white;
  float: left;
  margin-left: 45px;
  font-family: $font_generic;
  color: $black;
  font-size: 34px;
  font-weight: bold;
}

.header-row-two {
  width: 462px;
  float: left;
  font-family: $font_generic;
  color: $black;
  font-size: 14px;
  font-weight: normal;
  .left-indent {
    float: left;
    margin-left: 45px;
  }
}

a {
  &:focus {
    text-decoration: underline;
  }
  &:active {
    text-decoration: underline;
  }
}

.details {
  width: 480px;
  float: left;
  overflow: hidden;
  background-color: $color_concrete_approx;
  padding: 0 6px;
  color: $black;
  font-size: 16px;
  font-family: $font_bold;
  font-weight: 700;
  font-style: normal;
  .table-row {
    width: 468px;
    float: left;
    border-top: 1px solid $color_celeste_approx;
    padding: 10px 0;
  }
  .availability {
    border-top: 4px solid $black;
    border-bottom: 4px solid $black;
    margin-bottom: 10px;
  }
  .left {
    float: left;
  }
  .right {
    float: right;
  }
  .left-indent {
{'fraction_non_alphanumeric': 0.14106297779395705, 'fraction_numerical': 0.04641427011285038, 'mean_word_length': 2.4258104738154613, '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': '1158593', 'n_tokens_mistral': 2422, 'n_tokens_neox': 2181, 'n_words': 510}