<commit_before>.special
  color : #f00

.webapp-console
  background-color : #eaeaea
  padding          : 0px
  margin           : 0px
  border           : 0px solid black

.webapp-console-topbar
  padding  : 0px
  margin   : 0px
  overflow : hidden

.webapp-console-filename
  padding        : 10px
  font-weight    : bold
  color          : #555
  padding-top    : 4px
  padding-bottom : 0

.webapp-console-title
  padding        : 10px
  font-weight    : bold
  overflow       : hidden
  color          : #555
  max-width      : 40%
  max-height     : 1.5em
  padding-top    : 4px
  padding-bottom : 0
  padding-right  : 50px

.webapp-console-description
  color : #888

.webapp-console-for-mobile
  position : absolute
  opacity  : 0
  color    : #fff

.webapp-console-terminal
  height      : 100%
  width       : 100%
  position    : absolute
  font-family : droid-sans-mono
  padding     : 1px
  margin      : 0px
  padding     : 5px
  white-space : nowrap
  flex        : 1

.webapp-console-scrollbar
  height     : 99.5%
  overflow-x : hidden
  overflow-y : scroll
  z-index    : 1          /* so terminal text doesn't appear visible when horizontally resizing */

.webapp-console-cursor-focus
  animation      : webapp-cursor-blink 1.3s linear 0s infinite
  background     : #fff
  color          : #555
  border         : 3px solid #77b6e8
  border-radius  : 3px
  margin         : -1px

@keyframes webapp-cursor-blink
  0%, 40%
    -webkit-filter: invert(1.0)
    filter: invert(1.0)
  50%, 90%
    -webkit-filter: invert(0.0)
    filter: invert(0.0)

.webapp-console-textarea
  height   : 0px
  width    : 0px
  border   : 0px solid white
  opacity  : 0
  position : fixed

.webapp-console-focus
  border        : 1px solid #77b6e8
  box-shadow    : inset 0 0 4px #77b6e8

/* Please do not delete this rule.  If you do, then whenever the console switches between blured and focused, all the
   text MOVES, which is very annoying.  Proof it is wrong: try changing the chat box in this chatroom between
   focused and blurred -- nothing moves.*/
.webapp-console-blur
  border        : 1px solid lightgrey<commit_msg>woops -- css mistake in terminal<commit_after>.special
  color : #f00

.webapp-console
  background-color : #eaeaea
  padding          : 0px
  margin           : 0px
  border           : 0px solid black

.webapp-console-topbar
  padding  : 0px
  margin   : 0px
  overflow : hidden

.webapp-console-filename
  padding        : 10px
  font-weight    : bold
  color          : #555
  padding-top    : 4px
  padding-bottom : 0

.webapp-console-title
  padding        : 10px
  font-weight    : bold
  overflow       : hidden
  color          : #555
  max-width      : 40%
  max-height     : 1.5em
  padding-top    : 4px
  padding-bottom : 0
  padding-right  : 50px

.webapp-console-description
  color : #888

.webapp-console-for-mobile
  position : absolute
  opacity  : 0
  color    : #fff

.webapp-console-terminal
  height      : 100%
  width       : 100%
  position    : absolute
  font-family : droid-sans-mono
  padding     : 1px
  margin      : 0px
  padding     : 5px
  white-space : nowrap
  flex        : 1

.webapp-console-scrollbar
  height     : 99.5%
  overflow-x : hidden
  overflow-y : scroll
  z-index    : 1          /* so terminal text doesn't appear visible when horizontally resizing */

.webapp-console-cursor-focus
  animation      : webapp-cursor-blink 1.3s linear 0s infinite
  background     : #fff
  color          : #555
  border         : 1px solid #555
  margin         : -1px

@keyframes webapp-cursor-blink
  0%, 40%
    -webkit-filter: invert(1.0)
    filter: invert(1.0)
  50%, 90%
    -webkit-filter: invert(0.0)
    filter: invert(0.0)

.webapp-console-textarea
  height   : 0px
  width    : 0px
  border   : 0px solid white
  opacity  : 0
  position : fixed

.webapp-console-focus
  box-shadow     : inset 0 0 4px #77b6e8
  border         : 3px solid #77b6e8
  border-radius  : 3px

/* Please do not delete this rule.  If you do, then whenever the console switches between blured and focused, all the
   text MOVES, which is very annoying.  Proof it is wrong: try changing the chat box in this chatroom between
   focused and blurred -- nothing moves.*/
.webapp-console-blur
  border        : 3px solid lightgrey
{'fraction_non_alphanumeric': 0.0852059925093633, 'fraction_numerical': 0.04190074906367041, 'mean_word_length': 2.052142857142857, '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': '7193819', 'n_tokens_mistral': 1574, 'n_tokens_neox': 1412, 'n_words': 411}