<commit_before>@import "bootstrap-sprockets";
@import "bootstrap";

/* mixins, variables, etc. */

$light-background-color:  #ccc;
$medium-background-color: #777;
$dark-background-color:   #222;

$gameboard-color:  black;
$disclaimer-color: #777;

$j-blue:         #151e8c;
$j-light-blue:   #353eac;
$j-lighter-blue: #8a8fc6;
$j-yellow:       #cf9f3e;
$j-shadow:       #101014;
$dd-border:      #674f1f;

$check-green: #00ff00;
$check-light-green: #88ff88;

$x-red: #ff0000;
$x-light-red: #ff8888;

/* universal */

*{
  margin: 0;
  padding: 0;
}

html, body {
  height: 100%;
}

body {
  background-color: $light-background-color;
}

main {
  height: 88%;
}

a {
  color: $j-light-blue;
  cursor: pointer;
  &:hover {
    color: $j-lighter-blue;
  }
}

.data-passer {
  display: none;
}

.row {
  margin-left: 0;
  margin-right: 0;
}

.col-xs-4.col-compact, .col-xs-6.col-compact,
.col-xs-8.col-compact, .col-xs-12.col-compact {
  padding-left: 0;
  padding-right: 0;
}

p.padded-graf {
  margin-top: 1vh;
  margin-bottom: 2vh;
  padding-left: 0.5vw;
  padding-right: 0.5vw;
}

.btn.btn-primary {
  background-color: $j-blue;
}

/* typography */

h1, h2 {
  margin: 0;
  text-align: center;
}

p {
  margin: 0;
}

main {
  font-size: 3vmin;
}

.nowrap {
  white-space: nowrap;
}

/* override tablesorter styles */

.tablesorter {
  font-size: 8pt;

  tbody tr:nth-child(odd) td {
    background-color: #f0f0f6;
  }

  tbody tr:hover td {
    background-color: #ccc;
  }
}

/* header */

header {
  height: 7%;
  background-color: $dark-background-color;
  overflow: hidden;
}

#logo {
  float: left;
  margin-left: 2vmin;
  margin-right: 1vmin;
  font-size: 4vmin;
  color: $j-yellow;
  text-transform: capitalize;
  letter-spacing: -0.1vmin;
  padding-top: 1.0vmin;
  font-weight: bold;
  &:hover {
    color: $j-yellow;
    text-decoration: none;
  }
}

ul.navigation {
  list-style-type: none;
  text-align: right;
  font-size: 3vmin;
  padding-top: 1.25vmin;
  li {
    display: inline;
    a {
      text-decoration: none;
      margin-right: 4vmin;
      color: $j-yellow;
      &:hover {
        text-decoration: none;
        color: white;
      }
    }
  }
}

/* footer */

footer {
  height: 5%;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  background-color: $dark-background-color;
  color: $disclaimer-color;
  font-size: 1.35vmin;
}

/* forms */

input, textarea, select, .uneditable-input {
  border: 1px solid #bbb;
  width: 100%;
  margin-bottom: 15px;
  box-sizing: border-box;
}

input {
  height: auto;
}

#error_explanation {
  color: red;
  ul {
    color: red;
    margin: 0 0 30px 0;
  }
}

.field_with_errors {
  @extend .has-error;
  .form-control {
    color: $state-danger-text;
  }
}

/* home page */

#home-container {
  height: 100%;
  width: 100%;
  display: flex;
  flex-direction: column;
  justify-content: space-around;
  align-items: center;

  p {
    height: 10vh;
    text-align: center;
    font-size: 4vmin;
    line-height: 13vh;
  }

  div {
    height: 26vh;
    display: flex;
    justify-content: center;
    align-items: center;
  }

  .btn.btn-primary {
    height: 20vh;
    width: 75vw;
    font-size: 10vmin;
    line-height: 18vh;
    color: $j-yellow;
    text-shadow: 0.2vw 0.2vw $j-shadow;
    border: 0.3vw solid $gameboard-color;

    &:hover {
      color: white;
    }
  }

  .soft-sell {
    height: 20vh;
    width: 75vw;
    display: flex;
    flex-direction: column;
    background-color: $j-blue;
    border: 0.3vw solid $gameboard-color;
    // To match the Bootstrap default for the buttons:
    border-radius: 4px;

    p {
      height: 6vh;
      line-height: 6vh;
      font-size: 4.5vmin;
      color: white;
      text-shadow: 0.2vw 0.2vw $j-shadow;
      text-align: center;

      a {
        color: $j-yellow;

        &:hover {
          color: white;
          text-decoration: none;
        }
      }
    }
  }
}

/* help and about pages */

#about-page {
  height: 100%;
  overflow: auto;
}

#help-page {
  height: 100%;
  overflow: auto;
}

.booyah-box {
  -webkit-box-shadow: 1px 1px 2px 0 #d0d0d0;
  -moz-box-shadow: 1px 1px 2px 0 #d0d0d0;
  box-shadow: 1px 1px 2px 0 #d0d0d0;
  background: #fff;
  border: 1px solid #ccc;
  border-color: #e4e4e4 #bebebd #bebebd #e4e4e4;
  margin-top: 10px;
  margin-bottom: 15px;
  padding: 20px;

  p {
    font-size: medium;
  }
}

.j-box {
  color: white;
  background-color: $j-blue;
  margin-top: 10px;
  border: 0.3vw solid $gameboard-color;
  border-radius: 4px;

  p {
    font-size: large;
  }

  a {
    color: $j-yellow;

    &:hover {
      color: white;
      text-decoration: none;
    }
  }
}

.pages-help img {
  border: 1px solid $gameboard-color;
}

/* signup page */

#signup-page {
  height: 100%;
  overflow: auto;

  #signup-privacy {
    font-size: medium;

    ul {
      list-style-position: inside;
    }
  }
}

/* stats page */

.k-box {
  color: white;
  background-color: $j-blue;
  margin-bottom: 10px;
  border: 0.3vw solid $gameboard-color;
  border-radius: 4px;

  p {
    font-size: medium;
  }

  a {
    color: $j-yellow;

    &:hover {
      color: white;
      text-decoration: none;
    }
  }
}

#stats-area {
  height: 100%;
  overflow: auto;
  font-size: 3.5vmin;

  ul {
    font-size: 2.5vmin;
  }

  .ui-tabs-panel a {
    color: $j-blue;
  }

  p.aside {
    font-size: 2vmin;
  }

  .disabled {
    color: #999;
    cursor: default;
  }

  /* Force some padding onto the table headings to keep
   * text and arrows from overlapping. */
  table.tablesorter thead tr th, table.tablesorter tfoot tr th {
    padding-right: 20px;
  }
<commit_msg>Undo the eyebleedingest of jQuery UI's CSS changes<commit_after>@import "bootstrap-sprockets";
@import "bootstrap";

/* mixins, variables, etc. */

$light-background-color:  #ccc;
$medium-background-color: #777;
$dark-background-color:   #222;

$gameboard-color:  black;
$disclaimer-color: #777;

$j-blue:         #151e8c;
$j-light-blue:   #353eac;
$j-lighter-blue: #8a8fc6;
$j-yellow:       #cf9f3e;
$j-shadow:       #101014;
$dd-border:      #674f1f;

$check-green: #00ff00;
$check-light-green: #88ff88;

$x-red: #ff0000;
$x-light-red: #ff8888;

/* universal */

*{
  margin: 0;
  padding: 0;
}

html, body {
  height: 100%;
}

body {
  background-color: $light-background-color;
}

main {
  height: 88%;
}

a {
  color: $j-light-blue;
  cursor: pointer;
  &:hover {
    color: $j-lighter-blue;
  }
}

.data-passer {
  display: none;
}

.row {
  margin-left: 0;
  margin-right: 0;
}

.col-xs-4.col-compact, .col-xs-6.col-compact,
.col-xs-8.col-compact, .col-xs-12.col-compact {
  padding-left: 0;
  padding-right: 0;
}

p.padded-graf {
  margin-top: 1vh;
  margin-bottom: 2vh;
  padding-left: 0.5vw;
  padding-right: 0.5vw;
}

.btn.btn-primary {
  background-color: $j-blue;
}

/* typography */

h1, h2 {
  margin: 0;
  text-align: center;
}

p {
  margin: 0;
}

main {
  font-size: 3vmin;
}

.nowrap {
  white-space: nowrap;
}

/* override tablesorter styles */

.tablesorter {
  font-size: 8pt;

  tbody tr:nth-child(odd) td {
    background-color: #f0f0f6;
  }

  tbody tr:hover td {
    background-color: #ccc;
  }
}

/* header */

header {
  height: 7%;
  background-color: $dark-background-color;
  overflow: hidden;
}

#logo {
  float: left;
  margin-left: 2vmin;
  margin-right: 1vmin;
  font-size: 4vmin;
  color: $j-yellow;
  text-transform: capitalize;
  letter-spacing: -0.1vmin;
  padding-top: 1.0vmin;
  font-weight: bold;
  &:hover {
    color: $j-yellow;
    text-decoration: none;
  }
}

ul.navigation {
  list-style-type: none;
  text-align: right;
  font-size: 3vmin;
  padding-top: 1.25vmin;
  li {
    display: inline;
    a {
      text-decoration: none;
      margin-right: 4vmin;
      color: $j-yellow;
      &:hover {
        text-decoration: none;
        color: white;
      }
    }
  }
}

/* footer */

footer {
  height: 5%;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  background-color: $dark-background-color;
  color: $disclaimer-color;
  font-size: 1.35vmin;
}

/* forms */

input, textarea, select, .uneditable-input {
  border: 1px solid #bbb;
  width: 100%;
  margin-bottom: 15px;
  box-sizing: border-box;
}

input {
  height: auto;
}

#error_explanation {
  color: red;
  ul {
    color: red;
    margin: 0 0 30px 0;
  }
}

.field_with_errors {
  @extend .has-error;
  .form-control {
    color: $state-danger-text;
  }
}

/* home page */

#home-container {
  height: 100%;
  width: 100%;
  display: flex;
  flex-direction: column;
  justify-content: space-around;
  align-items: center;

  p {
    height: 10vh;
    text-align: center;
    font-size: 4vmin;
    line-height: 13vh;
  }

  div {
    height: 26vh;
    display: flex;
    justify-content: center;
    align-items: center;
  }

  .btn.btn-primary {
    height: 20vh;
    width: 75vw;
    font-size: 10vmin;
    line-height: 18vh;
    color: $j-yellow;
    text-shadow: 0.2vw 0.2vw $j-shadow;
    border: 0.3vw solid $gameboard-color;

    &:hover {
      color: white;
    }
  }

  .soft-sell {
    height: 20vh;
    width: 75vw;
    display: flex;
    flex-direction: column;
    background-color: $j-blue;
    border: 0.3vw solid $gameboard-color;
    // To match the Bootstrap default for the buttons:
    border-radius: 4px;

    p {
      height: 6vh;
      line-height: 6vh;
      font-size: 4.5vmin;
      color: white;
      text-shadow: 0.2vw 0.2vw $j-shadow;
      text-align: center;

      a {
        color: $j-yellow;

        &:hover {
          color: white;
          text-decoration: none;
        }
      }
    }
  }
}

/* help and about pages */

#about-page {
  height: 100%;
  overflow: auto;
}

#help-page {
  height: 100%;
  overflow: auto;
}

.booyah-box {
  -webkit-box-shadow: 1px 1px 2px 0 #d0d0d0;
  -moz-box-shadow: 1px 1px 2px 0 #d0d0d0;
  box-shadow: 1px 1px 2px 0 #d0d0d0;
  background: #fff;
  border: 1px solid #ccc;
  border-color: #e4e4e4 #bebebd #bebebd #e4e4e4;
  margin-top: 10px;
  margin-bottom: 15px;
  padding: 20px;

  p {
    font-size: medium;
  }
}

.j-box {
  color: white;
  background-color: $j-blue;
  margin-top: 10px;
  border: 0.3vw solid $gameboard-color;
  border-radius: 4px;

  p {
    font-size: large;
  }

  a {
    color: $j-yellow;

    &:hover {
      color: white;
      text-decoration: none;
    }
  }
}

.pages-help img {
  border: 1px solid $gameboard-color;
}

/* signup page */

#signup-page {
  height: 100%;
  overflow: auto;

  #signup-privacy {
    font-size: medium;

    ul {
      list-style-position: inside;
    }
  }
}

/* stats page */

.k-box {
  color: white;
  background-color: $j-blue;
  margin-bottom: 10px;
  border: 0.3vw solid $gameboard-color;
  border-radius: 4px;

  p {
    font-size: medium;
  }

  a {
    color: $j-yellow;

    &:hover {
      color: white;
      text-decoration: none;
    }
  }
}

#stats-area {
  height: 100%;
  overflow: auto;
  font-size: 3.5vmin;

  ul.ui-tabs-nav {
    font-size: 2.5vmin;

    a, a:link, a:visited {
      color: #666;
    }

    .ui-tabs-tab.ui-tabs-active.ui-state-active {
      background-color: white;
      border: 1px solid #aaa;
      border-bottom: none;

      a, a:link, a:visited {
        color: black;
      }
    }
  }

  .ui-tabs-panel a {
    color: $j-blue;
  }

  p.aside {
    font-size: 2vmin;
  }

  .disabled {
    color: #999;
    cursor: default;
  }

  /* Force some padding onto the table headings to keep
   * text and arrows from overlapping. */
  table.tablesorter thead tr th, table.tablesorter tfoot tr th {
    padding-right: 20px;
  }

{'fraction_non_alphanumeric': 0.15291283022115137, 'fraction_numerical': 0.037346183633078046, 'mean_word_length': 2.3531448355452973, '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': '2749673', 'n_tokens_mistral': 5192, 'n_tokens_neox': 4755, 'n_words': 1026}