<commit_before>@import "reset";

$red : #CF2227;

*,
::before,
::after {
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
}

html {
  font-size: 100%;
}

body {
  margin: 0;
  font: normal Georgia, Times, "Times New Roman", serif;
  -webkit-font-smoothing: antialiased;
  color: #56585E;
}

h1, h2, h3, h4, h5, h6 {
  color: $red;
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 1.2em;
  font-weight: 300;
  margin: 1.6em 0 0.6em;

  .anchor {
    background: #f1f1f1;
    border: 10px solid white;
    border-radius: 20px;
    color: #ccc;
    display: inline-block;
    font-size: 18px;
    height: 40px;
    line-height: 20px;
    margin-left: -40px;
    outline: none;
    text-align: center;
    text-decoration: none;
    vertical-align: middle;
    width: 40px;

    &::before {
      content: "\25B8";
    }
  }
}

h1 {
  font-size: 1.6em;
  margin-top: 0.6em;
}

strong {
  font-weight: bold;
}

a {
  color: #4695cb;
}

code {
  background: #f1f1f1;
  border-radius: 3px;
  font-family: Menlo, Monaco, Consolas, "Lucida Console", monospace;
  font-size: 0.8em;
  padding: 0 0.2em;
}

p {
  margin: 10px 0 25px;
}

pre {
  background: #f8f8f8;
  border-radius: 6px;
  margin-bottom: 25px;
  overflow: auto;
  padding: 10px;
}

pre code {
  background: none;
  color: inherit;
  line-height: inherit;
}

.docs__sidebar {
  background: #EDF3F6;
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  height: 100%;
  left: 0;
  overflow: auto;
  position: fixed;
  width: 220px;

  .styled-select {
    background-color: #fff;
    background-image: url('data:image/svg+xml;utf8,<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="16" height="16" viewBox="0 0 640 640"><path fill="%23888" d="M495.456 274.016c-13.024 13.376-150.24 144.096-150.24 144.096-6.976 7.136-16.096 10.688-25.216 10.688-9.152 0-18.272-3.552-25.216-10.688 0 0-137.216-130.72-150.272-144.096-13.024-13.376-13.92-37.408 0-51.712 13.952-14.272 33.376-15.392 50.432 0l125.056 119.936 125.024-119.904c17.088-15.392 36.544-14.272 50.432 0 13.952 14.272 13.088 38.336 0 51.68z"></path></svg>');
    background-repeat: no-repeat;
    background-size: auto 14px;
    background-position: right 7px top 50%;
    border-radius: 6px;
    cursor: pointer;
    display: inline-block;
    margin: 0 12%;
    overflow: hidden;
    width: 76%;

    select {
      background: transparent;
      border: 0;
      border-radius: 0;
      color: #888;
      cursor: pointer;
      font: inherit;
      font-size: 0.8em;
      padding: 10px 12px;
      -moz-appearance: window;
      width: 100%;
      // get rid of the focus border in Firefox
      &:-moz-focusring {
          color: transparent;
          text-shadow: 0 0 0 #000;
      }

      -webkit-appearance: none;
      -webkit-tap-highlight-color: rgba(0, 0, 0, 0);

      &:focus {
          outline: none;
      }

      // removes the arrow in IE 10+
      &::-ms-expand {
          display: none;
      }
    }
  }

  nav {
    margin: 27px 0 45px;
    a {
      display: block;
      font-size: 0.8em;
      padding: 0px 26% 15px;

      &:hover, &.is-selected{
        color: $red;
      }
    }
  }

  .top-bar{
    background: $red;
    height: 40px;
    text-align: center;
    a {
      color: #fff;
      display: inline-block;
      opacity: 0.75;
      padding: 11px 7px;
      text-decoration: none;

      &:hover{
        opacity: 1;<commit_msg>Space clickable area of links evenly. Fixes #197 - a link has the same vertical padding now - change nav margin to offset links vertical padding changes<commit_after>@import "reset";

$red : #CF2227;

*,
::before,
::after {
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
}

html {
  font-size: 100%;
}

body {
  margin: 0;
  font: normal Georgia, Times, "Times New Roman", serif;
  -webkit-font-smoothing: antialiased;
  color: #56585E;
}

h1, h2, h3, h4, h5, h6 {
  color: $red;
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 1.2em;
  font-weight: 300;
  margin: 1.6em 0 0.6em;

  .anchor {
    background: #f1f1f1;
    border: 10px solid white;
    border-radius: 20px;
    color: #ccc;
    display: inline-block;
    font-size: 18px;
    height: 40px;
    line-height: 20px;
    margin-left: -40px;
    outline: none;
    text-align: center;
    text-decoration: none;
    vertical-align: middle;
    width: 40px;

    &::before {
      content: "\25B8";
    }
  }
}

h1 {
  font-size: 1.6em;
  margin-top: 0.6em;
}

strong {
  font-weight: bold;
}

a {
  color: #4695cb;
}

code {
  background: #f1f1f1;
  border-radius: 3px;
  font-family: Menlo, Monaco, Consolas, "Lucida Console", monospace;
  font-size: 0.8em;
  padding: 0 0.2em;
}

p {
  margin: 10px 0 25px;
}

pre {
  background: #f8f8f8;
  border-radius: 6px;
  margin-bottom: 25px;
  overflow: auto;
  padding: 10px;
}

pre code {
  background: none;
  color: inherit;
  line-height: inherit;
}

.docs__sidebar {
  background: #EDF3F6;
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  height: 100%;
  left: 0;
  overflow: auto;
  position: fixed;
  width: 220px;

  .styled-select {
    background-color: #fff;
    background-image: url('data:image/svg+xml;utf8,<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="16" height="16" viewBox="0 0 640 640"><path fill="%23888" d="M495.456 274.016c-13.024 13.376-150.24 144.096-150.24 144.096-6.976 7.136-16.096 10.688-25.216 10.688-9.152 0-18.272-3.552-25.216-10.688 0 0-137.216-130.72-150.272-144.096-13.024-13.376-13.92-37.408 0-51.712 13.952-14.272 33.376-15.392 50.432 0l125.056 119.936 125.024-119.904c17.088-15.392 36.544-14.272 50.432 0 13.952 14.272 13.088 38.336 0 51.68z"></path></svg>');
    background-repeat: no-repeat;
    background-size: auto 14px;
    background-position: right 7px top 50%;
    border-radius: 6px;
    cursor: pointer;
    display: inline-block;
    margin: 0 12%;
    overflow: hidden;
    width: 76%;

    select {
      background: transparent;
      border: 0;
      border-radius: 0;
      color: #888;
      cursor: pointer;
      font: inherit;
      font-size: 0.8em;
      padding: 10px 12px;
      -moz-appearance: window;
      width: 100%;
      // get rid of the focus border in Firefox
      &:-moz-focusring {
          color: transparent;
          text-shadow: 0 0 0 #000;
      }

      -webkit-appearance: none;
      -webkit-tap-highlight-color: rgba(0, 0, 0, 0);

      &:focus {
          outline: none;
      }

      // removes the arrow in IE 10+
      &::-ms-expand {
          display: none;
      }
    }
  }

  nav {
    margin: 20px 0 45px;
    a {
      display: block;
      font-size: 0.8em;
      padding: 7px 26% 8px;

      &:hover, &.is-selected{
        color: $red;
      }
    }
  }

  .top-bar{
    background: $red;
    height: 40px;
    text-align: center;
    a {
      color: #fff;
      display: inline-block;
      opacity: 0.75;
      padding: 11px 7px;
      text-decoration: none;

      &:hover{
        opacity: 1;
{'fraction_non_alphanumeric': 0.15178822866798086, 'fraction_numerical': 0.11968459588848211, 'mean_word_length': 2.3695445920303606, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 6}, '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': '5868912', 'n_tokens_mistral': 3427, 'n_tokens_neox': 2781, 'n_words': 657}