<commit_before>@import 'bootstrap';

/* mixins, variables, etc. */

$grayMediumLight: #eaeaea;

/* universal */

html {
  height: 100%;
}

body {
  font-family: "Liberation Sans", "Lucida Grande", "Luxi Sans", "Bitstream Vera Sans", helvetica, verdana, arial, sans-serif;
  padding-top: 70px;
//  line-height: 1.42857;
  margin: 0px;
  font-size: 14px;
  color: rgb(90, 90, 90);
}
/* Override bootstrap */

.well {
  min-height: 20px;
  padding: 19px;
  margin-bottom: 20px;
  background-color: rgb(255, 255, 255);
  border: 2px solid rgba(58, 102, 164, 0.40);
  border-radius: 2px;
  box-shadow: 0px 1px 1px rgba(0, 0, 0, 0.05) inset;
}

/* Navbar colors */


$bgDefault      : #3264a3;
$bgHighlight    : #1c507d;
$colDefault     : #d1d8e2;
$colHighlight   : #dce7f6;
.navbar-default {
  background-color: $bgDefault;
  border-color: $bgHighlight;
  .navbar-brand {
    color: $colDefault;
    &:hover, &:focus {
      color: $colHighlight; }}
  .navbar-text {
    color: $colDefault; }
  .navbar-nav {
    > li {
      > a {
        color: $colDefault;
        &:hover,  &:focus {
          color: $colHighlight;
          background-color: $bgHighlight; }}}
    > .active {
      > a, > a:hover, > a:focus {
        color: $colHighlight;
        background-color: $bgHighlight; }}
    > .open {
      > a, > a:hover, > a:focus {
        color: $colHighlight;
        background-color: $bgHighlight; }}}
  .navbar-toggle {
    border-color: $bgHighlight;
    &:hover, &:focus {
      background-color: $bgHighlight; }
    .icon-bar {
      background-color: $colDefault; }}
  .navbar-collapse,
  .navbar-form {
    border-color: transparent; }
  .navbar-link {
    color: $colDefault;
    &:hover {
      color: $colHighlight; }}}
@media (max-width: 767px) {
  .navbar-default .navbar-nav .open .dropdown-menu {
    > li > a {
      color: $colDefault;
      &:hover, &:focus {
        color: $colHighlight; }}
    > .active {
      > a, > a:hover, > a:focus, {
        color: $colHighlight;
        background-color: $bgHighlight; }}}
}

// http://getbootstrap.com/css/#tables
// hack for firefox only
@-moz-document url-prefix() {
  fieldset { display: table-cell; }
}

.error{
  color: red;
}

@media (min-width: 768px) and (max-width: 993px) {
  .navbar-brand {
    display: none
  }
}

section {
  overflow: auto;
}

textarea {
  resize: vertical;
  width: 400px;
  height: 200px;
}

button, input, select, textarea {
  margin: 0;
  font-size: 100%;
  vertical-align: baseline;
}

.center {
  text-align: center;
  h1 {
    margin-bottom: 10px;
  }
}<commit_msg>Fix search bar in responsive dropdown menu.<commit_after>@import 'bootstrap';

/* mixins, variables, etc. */

$grayMediumLight: #eaeaea;

/* universal */

html {
  height: 100%;
}

body {
  font-family: "Liberation Sans", "Lucida Grande", "Luxi Sans", "Bitstream Vera Sans", helvetica, verdana, arial, sans-serif;
  padding-top: 70px;
//  line-height: 1.42857;
  margin: 0px;
  font-size: 14px;
  color: rgb(90, 90, 90);
}
/* Override bootstrap */

.well {
  min-height: 20px;
  padding: 19px;
  margin-bottom: 20px;
  background-color: rgb(255, 255, 255);
  border: 2px solid rgba(58, 102, 164, 0.40);
  border-radius: 2px;
  box-shadow: 0px 1px 1px rgba(0, 0, 0, 0.05) inset;
}

/* Navbar colors */

$bgDefault      : #3264a3;
$bgHighlight    : #1c507d;
$colDefault     : #d1d8e2;
$colHighlight   : #dce7f6;
.navbar-default {
  background-color: $bgDefault;
  border-color: $bgHighlight;
  .navbar-brand {
    color: $colDefault;
    &:hover, &:focus {
      color: $colHighlight; }}
  .navbar-text {
    color: $colDefault; }
  .navbar-nav {
    > li {
      > a {
        color: $colDefault;
        &:hover,  &:focus {
          color: $colHighlight;
          background-color: $bgHighlight; }}}
    > .active {
      > a, > a:hover, > a:focus {
        color: $colHighlight;
        background-color: $bgHighlight; }}
    > .open {
      > a, > a:hover, > a:focus {
        color: $colHighlight;
        background-color: $bgHighlight; }}}
  .navbar-toggle {
    border-color: $bgHighlight;
    &:hover, &:focus {
      background-color: $bgHighlight; }
    .icon-bar {
      background-color: $colDefault; }}
  .navbar-collapse,
  .navbar-form {
    border-color: transparent; }
  .navbar-link {
    color: $colDefault;
    &:hover {
      color: $colHighlight; }}}
@media (max-width: 767px) {
  .navbar-default .navbar-nav .open .dropdown-menu {
    > li > a {
      color: $colDefault;
      &:hover, &:focus {
        color: $colHighlight; }}
    > .active {
      > a, > a:hover, > a:focus, {
        color: $colHighlight;
        background-color: $bgHighlight; }}}
}

// http://getbootstrap.com/css/#tables
// hack for firefox only
@-moz-document url-prefix() {
  fieldset { display: table-cell; }
}

.error{
  color: red;
}

@media (min-width: 768px) and (max-width: 993px) {
  .navbar-brand {
    display: none
  }
}

@media (max-width: 767px) {
  .navbar-form {
    padding: 10px 10% 10px 100px;
    margin: 0px 40% 0px -90px;
  }
}

section {
  overflow: auto;
}

textarea {
  resize: vertical;
  width: 400px;
  height: 200px;
}

button, input, select, textarea {
  margin: 0;
  font-size: 100%;
  vertical-align: baseline;
}

.center {
  text-align: center;
  h1 {
    margin-bottom: 10px;
  }
}
{'fraction_non_alphanumeric': 0.1625662376987131, 'fraction_numerical': 0.03860711582134747, 'mean_word_length': 2.6050477489768076, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 35, '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': '2633748', 'n_tokens_mistral': 2210, 'n_tokens_neox': 1954, 'n_words': 444}