<commit_before>*
  font-size: 16px
  font-weight: normal
  line-height: 1
  padding: 0
  margin: 0

body
  font-family: 'Alegreya', serif
  background: #F1F1F1

a
  color: #002B7A

a:visited
  color: black


$gutter-width: 30px
$header-gutter-width: 20px
$smallcaps: 'Alegreya SC'

/* LAYOUT */
#layout
  border: 1px solid #D6D6D6
  border-top-width: 0
  background: white
  margin: 0 auto
  width: 960px

  #header
    padding-top: 15px
    #masthead
      float: left
      margin-left: $header-gutter-width
      font-family: $smallcaps
      a
        text-decoration: none
        img
          margin-top: 10px
          margin-right: 5px
          width: 61px
          height: 48px
          float: left
        h1
          vertical-align: top
          font-size: 36pt
          width: 480px
          p.meta
            float: left
            font-size: 14pt
            padding-bottom: 10px

    #aggregate
      float: right

      p
        float: left
        margin-right: $header-gutter-width

      span.value
        font-size: 28pt
      span
        display: block
        font-size: 16pt
        font-family: $smallcaps
      
  #interactives
    float: left
    clear: both
    width: 100%
    border-bottom: 5px solid #EFF3FD
    moz-box-shadow: 0px 5px 0px #002b7a
    webkit-box-shadow: 0px 5px 0px #002b7a
    box-shadow: 0px 5px 0px #002b7a
    behavior: url(ie-css3.htc)
    margin-bottom: 20px

    .navigation
      $tab-radius: 3px
      width: 920px
      margin-left: $header-gutter-width
      margin-right: $header-gutter-width
      float: left
      clear: both
      border-top: 1px solid #C7C7C7
      border-bottom: 1px solid #C7C7C7
      .title
        float: left
        font-family: $smallcaps
        font-size: 16pt
        width: 330px
        padding: 10px
      .facets
        font-family: $smallcaps
        float: left
        span
          float: left
          padding: 10px
          margin-top: 5px
          cursor: pointer
          border-left: 1px solid white
          border-right: 1px solid white
        span.active
          background-color: white
          margin-bottom: -1px
          border: 1px solid #C7C7C7
          border-bottom: 1px solid white
          border-top-left-radius: $tab-radius
          border-top-right-radius: $tab-radius
      .pagination
        float: right
        padding-top: 4px
        div
          float: right
          font-family: 'Helvetica'
          font-size: 10pt
          border-radius: $tab-radius
          border: 2px solid #C7C7C7
          padding: 8px
          cursor: pointer
        .previous
          border-top-right-radius: 0px
          border-bottom-right-radius: 0px
          border-right: 0px
          width: 57px
          padding-left: 13px
        .next
          border-top-left-radius: 0px
          border-bottom-left-radius: 0px
          width: 46px
          padding-left: 22px
    .content
      margin: $header-gutter-width
      float: left
      .badges
        clear: both
        padding: 0px 20px
        .badge
          float: left
          img
            width: 84px
            height: 84px
            margin: 4px
            border: 1px solid #C7C7C7
            float: left
          .info
            float: left
            width: 190px
            margin: 4px
            p
              font-size: 14pt
              padding-top: 4px
            p.name
              font-weight: bold
            p.office
              font-family: $smallcaps
              font-size: 12pt
            p.dollars-spent
              font-family: 'Helvetica'
              font-weight: bold
              font-size: 24pt

  h2
    font-size: 20pt
    font-weight: bold
    color: #395A8E
    border-bottom: 1px solid #C7C7C7
    padding-bottom: 20px
    margin: 20px 0px

  #main
    margin-left: $gutter-width
    width: 590px
    float: left
    
    ul
      margin: 1em
      padding-left: 1em

    blockquote
      margin: 1em
      padding-left: 1em
      border-left: 0.5em solid #E7E7E7
      font-style: italic
    
    #posts
      .navigation<commit_msg>Fixing pagination styles<commit_after>*
  font-size: 16px
  font-weight: normal
  line-height: 1
  padding: 0
  margin: 0

body
  font-family: 'Alegreya', serif
  background: #F1F1F1

a
  color: #002B7A

a:visited
  color: black


$gutter-width: 30px
$header-gutter-width: 20px
$smallcaps: 'Alegreya SC'

/* LAYOUT */
#layout
  border: 1px solid #D6D6D6
  border-top-width: 0
  background: white
  margin: 0 auto
  width: 960px

  #header
    padding-top: 15px
    #masthead
      float: left
      margin-left: $header-gutter-width
      font-family: $smallcaps
      a
        text-decoration: none
        img
          margin-top: 10px
          margin-right: 5px
          width: 61px
          height: 48px
          float: left
        h1
          vertical-align: top
          font-size: 36pt
          width: 480px
          p.meta
            float: left
            font-size: 14pt
            padding-bottom: 10px

    #aggregate
      float: right

      p
        float: left
        margin-right: $header-gutter-width

      span.value
        font-size: 28pt
      span
        display: block
        font-size: 16pt
        font-family: $smallcaps
      
  #interactives
    float: left
    clear: both
    width: 100%
    border-bottom: 5px solid #EFF3FD
    moz-box-shadow: 0px 5px 0px #002b7a
    webkit-box-shadow: 0px 5px 0px #002b7a
    box-shadow: 0px 5px 0px #002b7a
    behavior: url(ie-css3.htc)
    margin-bottom: 20px

    .navigation
      $tab-radius: 3px
      width: 920px
      margin-left: $header-gutter-width
      margin-right: $header-gutter-width
      float: left
      clear: both
      border-top: 1px solid #C7C7C7
      border-bottom: 1px solid #C7C7C7
      .title
        float: left
        font-family: $smallcaps
        font-size: 16pt
        width: 330px
        padding: 10px
      .facets
        font-family: $smallcaps
        float: left
        span
          float: left
          padding: 10px
          margin-top: 5px
          cursor: pointer
          border-left: 1px solid white
          border-right: 1px solid white
        span.active
          background-color: white
          margin-bottom: -1px
          border: 1px solid #C7C7C7
          border-bottom: 1px solid white
          border-top-left-radius: $tab-radius
          border-top-right-radius: $tab-radius
    .content
      margin: $header-gutter-width
      float: left
      .badges
        clear: both
        padding: 0px 20px
        .badge
          float: left
          img
            width: 84px
            height: 84px
            margin: 4px
            border: 1px solid #C7C7C7
            float: left
          .info
            float: left
            width: 190px
            margin: 4px
            p
              font-size: 14pt
              padding-top: 4px
            p.name
              font-weight: bold
            p.office
              font-family: $smallcaps
              font-size: 12pt
            p.dollars-spent
              font-family: 'Helvetica'
              font-weight: bold
              font-size: 24pt
      .pagination
        clear: left
        $tab-radius: 3px
        padding-top: 4px
        width: 650px
        margin: 0 auto
        div
          float: right
          font-family: 'Helvetica'
          font-size: 10pt
          border-radius: $tab-radius
          border: 1px solid #C7C7C7
          padding: 8px
          cursor: pointer
        .previous
          border-top-right-radius: 0px
          border-bottom-right-radius: 0px
          border-right: 0px
          width: 300px
        .next
          border-top-left-radius: 0px
          border-bottom-left-radius: 0px
          width: 300px
          text-align: right

  h2
    font-size: 20pt
    font-weight: bold
    color: #395A8E
    border-bottom: 1px solid #C7C7C7
    padding-bottom: 20px
    margin: 20px 0px

  #main
    margin-left: $gutter-width
    width: 590px
    float: left
    
    ul
      margin: 1em
      padding-left: 1em

    blockquote
      margin: 1em
      padding-left: 1em
      border-left: 0.5em solid #E7E7E7
      font-style: italic
    
    #posts
      .navigation
{'fraction_non_alphanumeric': 0.0760304605342681, 'fraction_numerical': 0.0436359240904146, 'mean_word_length': 1.4052325581395348, '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': '4420646', 'n_tokens_mistral': 2906, 'n_tokens_neox': 2594, 'n_words': 684}