<commit_before>/* See license.txt for terms of usage */

/******************************************************************************/
/* Toolbox */

.theme-firebug #toolbox-buttons {
  display: none;
}

.theme-firebug .devtools-tabbar,
.theme-firebug .devtools-sidebar-tabs > tabs {
  border-bottom-width: 0;
  box-shadow: none;
  font-family: Segoe UI;
  -moz-appearance: none;
  border-bottom: 1px solid rgb(170, 188, 207);
  background-color: rgb(219, 234, 249);
  background-image: linear-gradient(rgba(253, 253, 253, 0.2), rgba(253, 253, 253, 0));
}

.theme-firebug .devtools-sidebar-tabs > tabs {
  height: 28px;
}

/******************************************************************************/
/* Panel tabs */

.theme-firebug #toolbox-tabs .devtools-tab,
.theme-firebug #toolbox-sidetabs .devtools-tab,
.theme-firebug .devtools-sidebar-tabs > tabs > tab {
  margin: 3px 0 0 0;
  padding: 0 2px 0 0; 
  border: 1px solid transparent !important;
  border-radius: 4px 4px 0 0;
  font-size: 11px;
  font-weight: bold;
  color: #565656;
  box-shadow: none;
  margin-bottom: -1;
}

.theme-firebug #toolbox-tabs .devtools-tab:hover,
.theme-firebug #toolbox-sidetabs .devtools-tab:hover,
.theme-firebug #toolbox-tab-options:hover,
.theme-firebug .devtools-sidebar-tabs > tabs > tab:hover {<commit_msg>Issue36: Selected toolbox tab should blend with the toolbar - Fix margin bottom issue.<commit_after>/* See license.txt for terms of usage */

/******************************************************************************/
/* Toolbox */

.theme-firebug #toolbox-buttons {
  display: none;
}

.theme-firebug .devtools-tabbar,
.theme-firebug .devtools-sidebar-tabs > tabs {
  border-bottom-width: 0;
  box-shadow: none;
  font-family: Segoe UI;
  -moz-appearance: none;
  border-bottom: 1px solid rgb(170, 188, 207);
  background-color: rgb(219, 234, 249);
  background-image: linear-gradient(rgba(253, 253, 253, 0.2), rgba(253, 253, 253, 0));
}

.theme-firebug .devtools-sidebar-tabs > tabs {
  height: 28px;
}

/******************************************************************************/
/* Panel tabs */

.theme-firebug #toolbox-tabs .devtools-tab,
.theme-firebug #toolbox-sidetabs .devtools-tab,
.theme-firebug .devtools-sidebar-tabs > tabs > tab {
  margin: 3px 0 -1px 0;
  padding: 0 2px 1px 0;
  border: 1px solid transparent !important;
  border-radius: 4px 4px 0 0;
  font-size: 11px;
  font-weight: bold;
  color: #565656;
  box-shadow: none;
}

.theme-firebug #toolbox-tabs .devtools-tab:hover,
.theme-firebug #toolbox-sidetabs .devtools-tab:hover,
.theme-firebug #toolbox-tab-options:hover,
.theme-firebug .devtools-sidebar-tabs > tabs > tab:hover {
{'fraction_non_alphanumeric': 0.250187265917603, 'fraction_numerical': 0.04906367041198502, 'mean_word_length': 4.278656126482214, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 15, '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': '6329709', 'n_tokens_mistral': 1043, 'n_tokens_neox': 892, 'n_words': 218}