<commit_before>// Use the platform default background color for text
// selection when the editor has a selection _and_ is
// focused.
.CodeMirror-focused {
  .CodeMirror-selected {
    background: Highlight;
  }

  .CodeMirror-selectedtext {
    color: HighlightText !important;
  }
}

.CodeMirror-lines * {
  cursor: text;
}

// If the editor isn't focused then we should hide
// any trace of the selection to match native input
// control behavior.
.CodeMirror-selectedtext {
  color: inherit;
}
.CodeMirror-selected {
  background: inherit;
}

// Windows has custom scroll bars, see _scroll.scss
@include win32-context {
  .CodeMirror {
    // Mirror the behavior of other scroll bars in desktop on Windows
    // and only show them while hovering over the scroll container.
    // We can't use display here since that's set as an inline style
    // by CodeMirror so we'll resort to the old opacity hack.
    &-vscrollbar,
    &-hscrollbar {
      opacity: 0;
    }

    &:hover {
      .CodeMirror-vscrollbar,
      .CodeMirror-hscrollbar {
        opacity: 1;
      }
    }

    // This is a div that sits in the corner between the horizontal
    // and vertical scroll bar and has an opaque background by default.
    &-scrollbar-filler {
      background: transparent;
    }
  }
}
<commit_msg>Use variables for the codemirror scrollbars<commit_after>// Use the platform default background color for text
// selection when the editor has a selection _and_ is
// focused.
.CodeMirror-focused {
  .CodeMirror-selected {
    background: Highlight;
  }

  .CodeMirror-selectedtext {
    color: HighlightText !important;
  }
}

.CodeMirror-lines * {
  cursor: text;
}

// If the editor isn't focused then we should hide
// any trace of the selection to match native input
// control behavior.
.CodeMirror-selectedtext {
  color: inherit;
}
.CodeMirror-selected {
  background: inherit;
}

.CodeMirror-simplescroll-horizontal,
.CodeMirror-simplescroll-vertical {
  background: var(--box-alt-background-color);
  div {
    background: var(--scroll-bar-thumb-background-color);
    border: none;
  }
}

// Windows has custom scroll bars, see _scroll.scss
@include win32-context {
  .CodeMirror {
    // Mirror the behavior of other scroll bars in desktop on Windows
    // and only show them while hovering over the scroll container.
    // We can't use display here since that's set as an inline style
    // by CodeMirror so we'll resort to the old opacity hack.
    &-vscrollbar,
    &-hscrollbar {
      opacity: 0;
    }

    &:hover {
      .CodeMirror-vscrollbar,
      .CodeMirror-hscrollbar {
        opacity: 1;
      }
    }

    // This is a div that sits in the corner between the horizontal
    // and vertical scroll bar and has an opaque background by default.
    &-scrollbar-filler {
      background: transparent;
    }
  }
}

{'fraction_non_alphanumeric': 0.08998242530755712, 'fraction_numerical': 0.00281195079086116, 'mean_word_length': 2.720261437908497, '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': '4713953', 'n_tokens_mistral': 868, 'n_tokens_neox': 811, 'n_words': 302}