<commit_before>@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 400;
  src: local('Open Sans'), local('OpenSans'), url('http://themes.googleusercontent.com/static/fonts/opensans/v6/cJZKeOuBrn4kERxqtaUH3bO3LdcAZYWl9Si6vvxL-qU.woff') format('woff');
}

@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 800;
  src: local('Open Sans Extrabold'), local('OpenSans-Extrabold'), url('http://themes.googleusercontent.com/static/fonts/opensans/v6/EInbV5DfGHOiMmvb1Xr-hqRDOzjiPcYnFooOUGCOsRk.woff') format('woff');
}

// Extends
//---------------------------------------- //
.wrapper {
  @include box-sizing(border-box);
  margin: 0 auto;
  max-width: $fg-max-width;
  min-width: $fg-min-width;
  padding: lh();
  width: flex-grid(12);
}

.subpage {
  @extend .clearfix;
  @extend .wrapper;

  > div {
    padding-left: flex-grid(4) + flex-gutter();

    p {
      margin-bottom: lh();
    }

    h1 {
      margin-bottom: lh(.5);
    }

    h2 {
      font: 18px $header-font-family;
      color: #000;
      margin-bottom: lh(.5);
    }

    ul {
      list-style: disc outside none;

      li {
        list-style: disc outside none;
      }
    }
  }
}

.clearfix:after {
  content: ".";
  display: block;
  height: 0;
  clear: both;
  visibility: hidden;
}

.button {
  @include border-radius(3px);
  @include border-radius(3px);
  @include inline-block();
  @include transition();
  background-color: $mit-red;
  color: #fff;
  margin: lh() 0 lh(.5);
  padding: lh(.25) lh(.5);
  text-decoration: none;

  &:hover {
    background-color: darken($mit-red, 10%);
  }

  span {
    font-family: Garamond, Baskerville, "Baskerville Old Face", "Hoefler Text", "Times New Roman", serif;
    font-style: italic;
  }
}


body {
  background-color: #fff;
  color: #444;
  font: $body-font-size $body-font-family;

  h1 {
    font: 800 24px $header-font-family;
  }


  li {
    margin-bottom: lh();
  }

  #{$all-text-inputs}, textarea {
    @include box-shadow(0 -1px 0 #fff);
    @include linear-gradient(#eee, #fff);
    border: 1px solid #999;
    font: $body-font-size $body-font-family;
    padding: 4px;
    width: 100%;

    &:focus {
      border-color: $mit-red;
    }
  }
}

header.announcement {
  @include background-size(cover);
  background: #333;
  border-bottom: 1px solid #000;
  color: #fff;

  &.home {
    @media screen and (min-width: 1200px) {
      background: #e3e3e3 url("/static/images/marketing/shot-1-large.jpg");
    }

    @media screen and (max-width: 1199px) {
      background: #e3e3e3 url("/static/images/marketing/shot-1-medium.jpg");
    }

    div {
      padding: lh(10) lh() lh(3);
    }
  }

  &.course {

    @media screen and (min-width: 1200px) {
      background: #e3e3e3 url("/static/images/marketing/course-bg-large.jpg");
    }

    @media screen and (max-width: 1199px) and (min-width: 700px) {
      background: #e3e3e3 url("/static/images/marketing/course-bg-medium.jpg");
      @include background-size(cover);
    }

    @media screen and (max-width: 699px) {
      background: #e3e3e3 url("/static/images/marketing/course-bg-small.jpg");
      @include background-size(cover);
    }<commit_msg>add some style to fix bloated type<commit_after>@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 400;
  src: local('Open Sans'), local('OpenSans'), url('http://themes.googleusercontent.com/static/fonts/opensans/v6/cJZKeOuBrn4kERxqtaUH3bO3LdcAZYWl9Si6vvxL-qU.woff') format('woff');
}

@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 800;
  src: local('Open Sans Extrabold'), local('OpenSans-Extrabold'), url('http://themes.googleusercontent.com/static/fonts/opensans/v6/EInbV5DfGHOiMmvb1Xr-hqRDOzjiPcYnFooOUGCOsRk.woff') format('woff');
}

// Extends
//---------------------------------------- //
.wrapper {
  @include box-sizing(border-box);
  margin: 0 auto;
  max-width: $fg-max-width;
  min-width: $fg-min-width;
  padding: lh();
  width: flex-grid(12);
}

.subpage {
  @extend .clearfix;
  @extend .wrapper;

  > div {
    padding-left: flex-grid(4) + flex-gutter();

    p {
      margin-bottom: lh();
    }

    h1 {
      margin-bottom: lh(.5);
    }

    h2 {
      font: 18px $header-font-family;
      color: #000;
      margin-bottom: lh(.5);
    }

    ul {
      list-style: disc outside none;

      li {
        list-style: disc outside none;
      }
    }
  }
}

.clearfix:after {
  content: ".";
  display: block;
  height: 0;
  clear: both;
  visibility: hidden;
}

.button {
  @include border-radius(3px);
  @include border-radius(3px);
  @include inline-block();
  @include transition();
  background-color: $mit-red;
  color: #fff;
  margin: lh() 0 lh(.5);
  padding: lh(.25) lh(.5);
  text-decoration: none;
  -webkit-font-smoothing: antialiased;

  &:hover {
    background-color: darken($mit-red, 10%);
  }

  span {
    font-family: Garamond, Baskerville, "Baskerville Old Face", "Hoefler Text", "Times New Roman", serif;
    font-style: italic;
  }
}

body {
  background-color: #fff;
  color: #444;
  font: $body-font-size $body-font-family;

  h1 {
    font: 800 24px $header-font-family;
  }

  li {
    margin-bottom: lh();
  }

  #{$all-text-inputs}, textarea {
    @include box-shadow(0 -1px 0 #fff);
    @include linear-gradient(#eee, #fff);
    border: 1px solid #999;
    font: $body-font-size $body-font-family;
    padding: 4px;
    width: 100%;

    &:focus {
      border-color: $mit-red;
    }
  }
}

header.announcement {
  @include background-size(cover);
  background: #333;
  border-bottom: 1px solid #000;
  color: #fff;
  -webkit-font-smoothing: antialiased;

  &.home {
    @media screen and (min-width: 1200px) {
      background: #e3e3e3 url("/static/images/marketing/shot-1-large.jpg");
    }

    @media screen and (max-width: 1199px) {
      background: #e3e3e3 url("/static/images/marketing/shot-1-medium.jpg");
    }

    div {
      padding: lh(10) lh() lh(3);
    }
  }

  &.course {

    @media screen and (min-width: 1200px) {
      background: #e3e3e3 url("/static/images/marketing/course-bg-large.jpg");
    }

    @media screen and (max-width: 1199px) and (min-width: 700px) {
      background: #e3e3e3 url("/static/images/marketing/course-bg-medium.jpg");
      @include background-size(cover);
    }

    @media screen and (max-width: 699px) {
      background: #e3e3e3 url("/static/images/marketing/course-bg-small.jpg");
      @include background-size(cover);
    }
{'fraction_non_alphanumeric': 0.17713315846320013, 'fraction_numerical': 0.033019595741397935, 'mean_word_length': 2.748987854251012, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '7510357', 'n_tokens_mistral': 2678, 'n_tokens_neox': 2464, 'n_words': 476}