<commit_before>// global styles that apply to the Discourse application specifically
// BEWARE: changing these styles implies they take effect anywhere they are seen
// throughout the Discourse application

html {font-size: 14px/19px;}

@include medium-width {
  body {
    min-width: $medium-width;
  }
  .container,
  .full-width {
    width: $medium-width;
  }
}

@include small-width {
  body {
    min-width: 760px;
  }
  .container,
  .full-width {
    min-width: 760px;
  }
}

header {
  margin-bottom: 15px;
}

body {

  .boxed {
    height: 100%;
    @include border-radius-all(5px);
    &.white {
      background-color: $secondary;
    }
  }
  #main {
    .fa-star.starred {
      color: $danger;
    }
    a.star {
      color: scale-color($primary, $lightness: 75%);
      &:before {
        font-family: "FontAwesome";
        content: "\f005";
      }
      &.starred {
        color: $danger;
        @include hover {
          opacity: 1;
          &:before {
            content: "\f005";
          }
        }
      }
      @include hover {
        opacity: 0.6;
      }

      &:active {
        opacity: 1;
      }
    }
    img.avatar {
      &.header {
        width: 45px;
        height: 45px;
      }
      &.medium {
        width: 32px;
        height: 32px;
      }
      &.small {
        width: 25px;
        height: 25px;
      }
      &.tiny {
        width: 20px;
        height: 20px;
      }
    }
    .user-list {
      .user {
        padding-bottom: 5px;
      }
    }
  }

  .grippie {
    width: 100%;
    border: 1px solid scale-color-diff();
    border-width: 1px 0;
    cursor: row-resize;
    height: 11px;
    overflow: hidden;
    background-color: scale-color-diff();
    display:block;
    background: image-url("grippie.png") scale-color-diff() no-repeat center 3px;
  }
}

.topic-statuses {
  float: left;
  margin: 0 3px 0 0;
  padding: 0;
  .topic-status {
    padding: 0 2px 0 0;
    margin: 0;
    i {
        font-size: 15px;
          }
  }
}

/* bootstrap carryover */


body {

  input, textarea, select {
    color: $primary;
  }

  code, pre {
    font-family: Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
  }

  h1, h2, h3, h4, h5, h6 {
    margin: 0;
    text-rendering: optimizelegibility;
  }

  /* page not found styles */

  .page-not-found {
    margin: 20px 0 40px 0;
  }

  .page-not-found-search {
    margin-top: 20px;
  }

  .popular-topics-title, .recent-topics-title {
    margin-bottom: 10px;
  }

  .page-not-found-topics .span8 {
    line-height: 1.5em;
  }

  // this removes the unwanted top margin on a paragraph under a heading
  h1+p, h2+p, h3+p, h4+p, h5+p, h6+p {
    margin-top:0px;<commit_msg>add bit of spacing to 404 page<commit_after>// global styles that apply to the Discourse application specifically
// BEWARE: changing these styles implies they take effect anywhere they are seen
// throughout the Discourse application

html {font-size: 14px/19px;}

@include medium-width {
  body {
    min-width: $medium-width;
  }
  .container,
  .full-width {
    width: $medium-width;
  }
}

@include small-width {
  body {
    min-width: 760px;
  }
  .container,
  .full-width {
    min-width: 760px;
  }
}

header {
  margin-bottom: 15px;
}

body {

  .boxed {
    height: 100%;
    @include border-radius-all(5px);
    &.white {
      background-color: $secondary;
    }
  }
  #main {
    .fa-star.starred {
      color: $danger;
    }
    a.star {
      color: scale-color($primary, $lightness: 75%);
      &:before {
        font-family: "FontAwesome";
        content: "\f005";
      }
      &.starred {
        color: $danger;
        @include hover {
          opacity: 1;
          &:before {
            content: "\f005";
          }
        }
      }
      @include hover {
        opacity: 0.6;
      }

      &:active {
        opacity: 1;
      }
    }
    img.avatar {
      &.header {
        width: 45px;
        height: 45px;
      }
      &.medium {
        width: 32px;
        height: 32px;
      }
      &.small {
        width: 25px;
        height: 25px;
      }
      &.tiny {
        width: 20px;
        height: 20px;
      }
    }
    .user-list {
      .user {
        padding-bottom: 5px;
      }
    }
  }

  .grippie {
    width: 100%;
    border: 1px solid scale-color-diff();
    border-width: 1px 0;
    cursor: row-resize;
    height: 11px;
    overflow: hidden;
    background-color: scale-color-diff();
    display:block;
    background: image-url("grippie.png") scale-color-diff() no-repeat center 3px;
  }
}

.topic-statuses {
  float: left;
  margin: 0 3px 0 0;
  padding: 0;
  .topic-status {
    padding: 0 2px 0 0;
    margin: 0;
    i {
        font-size: 15px;
          }
  }
}

/* bootstrap carryover */


body {

  input, textarea, select {
    color: $primary;
  }

  code, pre {
    font-family: Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
  }

  h1, h2, h3, h4, h5, h6 {
    margin: 0;
    text-rendering: optimizelegibility;
  }

  /* page not found styles */

  .page-not-found {
    margin: 20px 0 40px 0;
  }

  .page-not-found-search {
    margin-top: 20px;
  }

  .popular-topics-title, .recent-topics-title {
    margin-bottom: 10px;
  }

  .page-not-found-topics .span8 {
    line-height: 1.5em;
    margin-right: 20px;
  }

  // this removes the unwanted top margin on a paragraph under a heading
  h1+p, h2+p, h3+p, h4+p, h5+p, h6+p {
    margin-top:0px;
{'fraction_non_alphanumeric': 0.13415726312018628, 'fraction_numerical': 0.03421099767150278, 'mean_word_length': 1.8373983739837398, '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': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1878084', 'n_tokens_mistral': 2212, 'n_tokens_neox': 2000, 'n_words': 485}