<commit_before>//= require codemirror
//= require codemirror/themes/monokai
//= require codemirror/themes/blackboard
//= require codemirror/addons/display/fullscreen
//= require jquery.ui.all
//@import "custom_bootstrap/custom_bootstrap";

@CodeMirrorBorderRadius: 5px;
@CodeMirrorDisabledBg: #2f0707;
@DebuggerRowHeight: 200px;

.divider {
  border-top: solid 1px #e5e5e5;
  margin-top: 5px;
  margin-bottom: 10px;
}

.code-wrapper {

  .code-controls {
    margin-bottom: 10px;
  }

  #watchlist-default {
    text-align: center;
  }

  #watchlist-size {
    margin: 5px;
    text-align: center;
    float: right;
    color: white;
    border: solid red 1px;
    border-radius: 50%;
    width: 25px;
    height: 25px;
    background: red;
    box-shadow: red 0px 0px 1px;
    display: block;
    padding-top: 1px;
    float: right;
  }
  ul#watchlist {
    padding: 5px 15px;
    min-width: 217px;
    .watchlist-remove {
      cursor: pointer;
    }
  }
}
.flying {
  color: #a6e22e;
  background-color: #272822;
  border-radius: 5px;
  padding: 5px;
}

#closeFullScreenBtn {
  position: absolute;
  top: 15px;
  left: 15px;
  z-index: 9999999;
}

// CodeMirror
#codeMirror-loading {
  margin: 25px auto;
  text-align: center;
}

.CodeMirror {
  border-radius: @CodeMirrorBorderRadius;
  height: 340px;

  &.editing-disabled {
    background: @CodeMirrorDisabledBg;
  }

  .CodeMirror-linenumbers {
    border-radius: @CodeMirrorBorderRadius;
  }
  .processedLine {
    background-color: rgba(255, 255, 255, 0.1);
  }
  &.CodeMirror-fullscreen {
    top: 51px;
  }
}

// Grid
.grid-wrapper {
  text-align: center;
  .grid-controls {
    margin-right: 9px;

    .grid-resetter{
      float: left;
      max-width: 110px;
      margin-left: 10px;<commit_msg>current line slightly brighter<commit_after>//= require codemirror
//= require codemirror/themes/monokai
//= require codemirror/themes/blackboard
//= require codemirror/addons/display/fullscreen
//= require jquery.ui.all
//@import "custom_bootstrap/custom_bootstrap";

@CodeMirrorBorderRadius: 5px;
@CodeMirrorDisabledBg: #2f0707;
@DebuggerRowHeight: 200px;

.divider {
  border-top: solid 1px #e5e5e5;
  margin-top: 5px;
  margin-bottom: 10px;
}

.code-wrapper {

  .code-controls {
    margin-bottom: 10px;
  }

  #watchlist-default {
    text-align: center;
  }

  #watchlist-size {
    margin: 5px;
    text-align: center;
    float: right;
    color: white;
    border: solid red 1px;
    border-radius: 50%;
    width: 25px;
    height: 25px;
    background: red;
    box-shadow: red 0px 0px 1px;
    display: block;
    padding-top: 1px;
    float: right;
  }
  ul#watchlist {
    padding: 5px 15px;
    min-width: 217px;
    .watchlist-remove {
      cursor: pointer;
    }
  }
}
.flying {
  color: #a6e22e;
  background-color: #272822;
  border-radius: 5px;
  padding: 5px;
}

#closeFullScreenBtn {
  position: absolute;
  top: 15px;
  left: 15px;
  z-index: 9999999;
}

// CodeMirror
#codeMirror-loading {
  margin: 25px auto;
  text-align: center;
}

.CodeMirror {
  border-radius: @CodeMirrorBorderRadius;
  height: 340px;

  &.editing-disabled {
    background: @CodeMirrorDisabledBg;
  }

  .CodeMirror-linenumbers {
    border-radius: @CodeMirrorBorderRadius;
  }
  .processedLine {
    background-color: rgba(255, 255, 255, 0.2);
  }
  &.CodeMirror-fullscreen {
    top: 51px;
  }
}

// Grid
.grid-wrapper {
  text-align: center;
  .grid-controls {
    margin-right: 9px;

    .grid-resetter{
      float: left;
      max-width: 110px;
      margin-left: 10px;
{'fraction_non_alphanumeric': 0.1306930693069307, 'fraction_numerical': 0.04639321074964639, 'mean_word_length': 2.928888888888889, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 2, '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': '5882755', 'n_tokens_mistral': 1507, 'n_tokens_neox': 1324, 'n_words': 272}