<commit_before>@import url(http://fonts.googleapis.com/css?family=Gentium+Book+Basic:400,400italic,700,700italic);
@import url(http://fonts.googleapis.com/css?family=Gentium+Basic&text=Sympy%20Live);


* {
  padding: 0px;
  margin: 0px;
}

body {
  font-family: 'Gentium Book Basic', serif;
  font-size: 100%;
}

h1 {
  font-family: 'Gentium Basic', serif;
  font-weight: normal;
  color: #FFF;
}

h1 a:link, h1 a:visited, h1 a:active {
  color: #FFF;
  text-decoration: none;
}

h1 a:hover {
  color: #96C56F;
}

h1 a img {
  vertical-align: bottom;
}

div.menu {
  padding: 0 0.5em;
  font-family: sans-serif;
  border-bottom: 2px solid #81B953;
}

div.menu a {
  color: #00F !important;
  text-decoration: none;
  font-size: 1em;
  line-height: 1em;
  margin-right: 0.5em;
}

div.menu a.selected {
  color: black !important;
  text-decoration: none;
  font-weight: bold;
}

div.result_card {
  border: 2px solid #a8a8a8;
  margin: 10px;
  padding: 10px;
  background: #FFF;
}

div.result_card.result_card_error {
  border: 2px solid #F00;
}

/* Highlight position of a syntax error */
div.result_card_error .cell_output_plain span:first-child {
  border-right: 1px solid #F00;
}

div.card_title {
  font-size: 12pt;
}

div.cell_input {
  color: black;
  font-size:12pt;
  margin-top: 10px;
  overflow-y: auto;
  -webkit-overflow-scrolling: touch;
}

div.cell_output {
  color: black;
  font-size: 12pt;
  border-top: 1px solid  #a8a8a8;
  padding: 10px 0 0 0;
  opacity: 0.1;
  overflow-y: auto;
  -webkit-overflow-scrolling: touch;
  font-family: monospace;
  text-align: center;
}

div.cell_output div.cell_pre_output {
  text-align: left;
}

div.cell_output table {
  border-collapse: collapse;
  border: 1px solid #000;
  margin: auto;
}

div.cell_output td, div.cell_output th {
  border: 1px solid #000;
  padding: 0.25em 0.5em;
}

div.cell_output ul {
  list-style-type: none;
}

div.result_card button.card_options_toggle {
  background: none;
  border: none;
  color: blue;
  text-decoration: underline;
  cursor: pointer;
  font-family: inherit;
}

div.result_card div.card_options {
  border-top: 1px solid #a8a8a8;
  font-size: 1em;
}

div.result_card div.card_options h2 {
  font-size: 1em;
  margin: 0.5em 0;
  padding: 0;
}

div.input {
  text-align: center;
  padding: 20px 0;
  width: 100%;
  background: #3B5526;
}

div.input form {
  margin: 0 auto;
  margin-top: 20px;
  width: 580px;
}

div.input input[type="text"] {
  font-family: monospace;
  width: 83%;
  height: 1.5em;
  line-height: 1.75em;
  font-size: 1.5em;
  padding: 0 0.25em;
  border: 0;
  vertical-align: top;
}

div.input input[type="submit"] {
  vertical-align: top;
  font-family: monospace;
  width: 15%;
  height: 1.5em;
  line-height: 1.8em;
  font-size: 1.5em;
  color: #FFF;
  border: 0;
  background-color: #96C56F;
  background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #96C56F), color-stop(100%, #81B953));
  background-image: -webkit-linear-gradient(top, #96C56F, #81B953);
  background-image: -moz-linear-gradient(top, #96C56F, #81B953);
  background-image: -ms-linear-gradient(top, #96C56F, #81B953);
  background-image: -o-linear-gradient(top, #96C56F, #81B953);
  background-image: linear-gradient(top, #96C56F, #81B953);filter:progid:DXImageTransform.Microsoft.gradient(GradientType=0,startColorstr=#96C56F, endColorstr=#81B953);
}

div.input input[type="submit"]:hover {
  background-color: #7bb64b;
  background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#7bb64b), color-stop(100%, #689a3f));
  background-image: -webkit-linear-gradient(top, #7bb64b, #689a3f);
  background-image: -moz-linear-gradient(top, #7bb64b, #689a3f);
  background-image: -ms-linear-gradient(top, #7bb64b, #689a3f);
  background-image: -o-linear-gradient(top, #7bb64b, #689a3f);
  background-image: linear-gradient(top, #7bb64b, #689a3f);filter:progid:DXImageTransform.Microsoft.gradient(GradientType=0,startColorstr=#7bb64b, endColorstr=#689a3f);
}

div.foot {
  text-align: center;
  font-size: 10pt;
}

/* Main page columns (saved and example queries) */

div.col {
}

div.col h2 {
  text-align: center;
  font-size: 1.25em;
  font-weight: normal;
}

div.col ul {
  list-style-type: none;
}

div.col.recent li {
  border-bottom: 0.15em solid #a8a8a8;
  margin: 0.5em 0;
  height: 1.25em;
  line-height: 1.25em;
}

div.col.recent a:link, div.col.recent a:visited,
div.col.recent a:hover, div.col.recent a:active {
  text-decoration: none;
  color: #3B5526;
  height: 100%;
  display: inline-block;
  font-family: monospace;
}

div.col.recent a.remove {
  width: auto;
  float: right;
  line-height: 200%;
  display: none;
}

div.col.recent li:hover a.remove {
  display: block;
}

div.example-group {
  margin: 0.5em 0;
}

div.example-group h3 {
  font-size: 1em;
  font-weight: normal;
  padding: 0;
  border-bottom: 0.15em solid #a8a8a8;
  cursor: pointer;
  height: 1.25em;
}

div.example-group h4 {
  font-size: 1em;
  font-weight: normal;
  margin-top: 0.25em;
}

div.example-group h3:before {
  content: "▸ ";
}

div.example-group h3.shown:before {
  content: "▾ ";
}

div.example-group li {
  margin: 0 1em;
}

div.example-group a:link, div.example-group a:visited,
div.example-group a:hover, div.example-group a:active, a#random-example {
  text-decoration: none;
  color: #3B5526;
  font-family: monospace;
}

div.example-group li > span {
  display: inline-block;
  float: right;
  font-style: italic;
}

/* General styling */

h2 {
  padding: 10px 8px;
}

h3 {
  padding: 5px 8px;
}

p {
  padding: 0px 8px;
}

@media screen and (max-device-width: 480px) or
  ((max-device-width: 1280px) and (-webkit-min-device-pixel-ratio: 1.1)) {
  div.col {
    width: auto;
    margin: 10px 10px;
    font-size: 125%;
  }

  div.col.example div.example-group li {
    margin: 0.25em 0;
  }

  div.col.example div.example-group li > span {
    display: block;
    float: none;
  }
  
  div.input form {
    margin: 0 auto;
    margin-top: 10px;
    width: auto;
  }

  div.input input[type="text"] {
    margin: 0 auto;
    width: 90%;
  }

  div.input input[type="submit"] {
    width: 50%;
    height: 150%;
    line-height: 150%;
  }<commit_msg>Rework CSS media queries some more<commit_after>@import url(http://fonts.googleapis.com/css?family=Gentium+Book+Basic:400,400italic,700,700italic);
@import url(http://fonts.googleapis.com/css?family=Gentium+Basic&text=Sympy%20Live);


* {
  padding: 0px;
  margin: 0px;
}

body {
  font-family: 'Gentium Book Basic', serif;
  font-size: 100%;
}

h1 {
  font-family: 'Gentium Basic', serif;
  font-weight: normal;
  color: #FFF;
}

h1 a:link, h1 a:visited, h1 a:active {
  color: #FFF;
  text-decoration: none;
}

h1 a:hover {
  color: #96C56F;
}

h1 a img {
  vertical-align: bottom;
}

div.menu {
  padding: 0 0.5em;
  font-family: sans-serif;
  border-bottom: 2px solid #81B953;
}

div.menu a {
  color: #00F !important;
  text-decoration: none;
  font-size: 1em;
  line-height: 1em;
  margin-right: 0.5em;
}

div.menu a.selected {
  color: black !important;
  text-decoration: none;
  font-weight: bold;
}

div.result_card {
  border: 2px solid #a8a8a8;
  margin: 10px;
  padding: 10px;
  background: #FFF;
}

div.result_card.result_card_error {
  border: 2px solid #F00;
}

/* Highlight position of a syntax error */
div.result_card_error .cell_output_plain span:first-child {
  border-right: 1px solid #F00;
}

div.card_title {
  font-size: 12pt;
}

div.cell_input {
  color: black;
  font-size:12pt;
  margin-top: 10px;
  overflow-y: auto;
  -webkit-overflow-scrolling: touch;
}

div.cell_output {
  color: black;
  font-size: 12pt;
  border-top: 1px solid  #a8a8a8;
  padding: 10px 0 0 0;
  opacity: 0.1;
  overflow-y: auto;
  -webkit-overflow-scrolling: touch;
  font-family: monospace;
  text-align: center;
}

div.cell_output div.cell_pre_output {
  text-align: left;
}

div.cell_output table {
  border-collapse: collapse;
  border: 1px solid #000;
  margin: auto;
}

div.cell_output td, div.cell_output th {
  border: 1px solid #000;
  padding: 0.25em 0.5em;
}

div.cell_output ul {
  list-style-type: none;
}

div.result_card button.card_options_toggle {
  background: none;
  border: none;
  color: blue;
  text-decoration: underline;
  cursor: pointer;
  font-family: inherit;
}

div.result_card div.card_options {
  border-top: 1px solid #a8a8a8;
  font-size: 1em;
}

div.result_card div.card_options h2 {
  font-size: 1em;
  margin: 0.5em 0;
  padding: 0;
}

div.input {
  text-align: center;
  padding: 20px 0;
  width: 100%;
  background: #3B5526;
}

div.input form {
  margin: 0 auto;
  margin-top: 20px;
  width: 580px;
}

div.input input[type="text"] {
  font-family: monospace;
  width: 83%;
  height: 1.5em;
  line-height: 1.75em;
  font-size: 1.5em;
  padding: 0 0.25em;
  border: 0;
  vertical-align: top;
}

div.input input[type="submit"] {
  vertical-align: top;
  font-family: monospace;
  width: 15%;
  height: 1.5em;
  line-height: 1.8em;
  font-size: 1.5em;
  color: #FFF;
  border: 0;
  background-color: #96C56F;
  background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #96C56F), color-stop(100%, #81B953));
  background-image: -webkit-linear-gradient(top, #96C56F, #81B953);
  background-image: -moz-linear-gradient(top, #96C56F, #81B953);
  background-image: -ms-linear-gradient(top, #96C56F, #81B953);
  background-image: -o-linear-gradient(top, #96C56F, #81B953);
  background-image: linear-gradient(top, #96C56F, #81B953);filter:progid:DXImageTransform.Microsoft.gradient(GradientType=0,startColorstr=#96C56F, endColorstr=#81B953);
}

div.input input[type="submit"]:hover {
  background-color: #7bb64b;
  background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#7bb64b), color-stop(100%, #689a3f));
  background-image: -webkit-linear-gradient(top, #7bb64b, #689a3f);
  background-image: -moz-linear-gradient(top, #7bb64b, #689a3f);
  background-image: -ms-linear-gradient(top, #7bb64b, #689a3f);
  background-image: -o-linear-gradient(top, #7bb64b, #689a3f);
  background-image: linear-gradient(top, #7bb64b, #689a3f);filter:progid:DXImageTransform.Microsoft.gradient(GradientType=0,startColorstr=#7bb64b, endColorstr=#689a3f);
}

div.foot {
  text-align: center;
  font-size: 10pt;
}

/* Main page columns (saved and example queries) */

div.col {
}

div.col h2 {
  text-align: center;
  font-size: 1.25em;
  font-weight: normal;
}

div.col ul {
  list-style-type: none;
}

div.col.recent li {
  border-bottom: 0.15em solid #a8a8a8;
  margin: 0.5em 0;
  height: 1.25em;
  line-height: 1.25em;
}

div.col.recent a:link, div.col.recent a:visited,
div.col.recent a:hover, div.col.recent a:active {
  text-decoration: none;
  color: #3B5526;
  height: 100%;
  display: inline-block;
  font-family: monospace;
}

div.col.recent a.remove {
  width: auto;
  float: right;
  line-height: 200%;
  display: none;
}

div.col.recent li:hover a.remove {
  display: block;
}

div.example-group {
  margin: 0.5em 0;
}

div.example-group h3 {
  font-size: 1em;
  font-weight: normal;
  padding: 0;
  border-bottom: 0.15em solid #a8a8a8;
  cursor: pointer;
  height: 1.25em;
}

div.example-group h4 {
  font-size: 1em;
  font-weight: normal;
  margin-top: 0.25em;
}

div.example-group h3:before {
  content: "▸ ";
}

div.example-group h3.shown:before {
  content: "▾ ";
}

div.example-group li {
  margin: 0 1em;
}

div.example-group a:link, div.example-group a:visited,
div.example-group a:hover, div.example-group a:active, a#random-example {
  text-decoration: none;
  color: #3B5526;
  font-family: monospace;
}

div.example-group li > span {
  display: inline-block;
  float: right;
  font-style: italic;
}

/* General styling */

h2 {
  padding: 10px 8px;
}

h3 {
  padding: 5px 8px;
}

p {
  padding: 0px 8px;
}

@media screen and (max-device-width: 960px) {
  div.col {
    width: auto;
    margin: 10px 10px;
    font-size: 125%;
  }

  div.col.example div.example-group li {
    margin: 0.25em 0;
  }

  div.col.example div.example-group li > span {
    display: block;
    float: none;
  }
  
  div.input form {
    margin: 0 auto;
    margin-top: 10px;
    width: auto;
  }

  div.input input[type="text"] {
    margin: 0 auto;
    width: 90%;
  }

  div.input input[type="submit"] {
    width: 50%;
    height: 150%;
    line-height: 150%;
  }
{'fraction_non_alphanumeric': 0.15154714529359214, 'fraction_numerical': 0.06026151222285389, 'mean_word_length': 3.643288084464555, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '6675944', 'n_tokens_mistral': 5587, 'n_tokens_neox': 5002, 'n_words': 1065}