<commit_before>body {
  font-size: 100%;
  -webkit-user-select: none;
}

#settings-title {
  -webkit-padding-end: 24px;
  padding-top: 1em;
  padding-bottom: 1em;
  text-align: end;
  font-size: 125%;
  font-weight: normal;
  color: #53627d;
  margin: 0;
}

#main-content {
  display: -webkit-box;
  position: absolute;
  left: 0;
  right: 0;
  top: 0;
  bottom: 0;
}

.overlay {
  position: fixed;
  left: 0;
  right: 0;
  background: rgba(0, 0, 0, .2);
  top: 0;
  bottom: 0;
  z-index: 10;
  padding: 20px;
  display: -webkit-box;
  -webkit-box-align: center;
  -webkit-box-pack: center;
}

#close-overlay {
  position: relative;
  top: -20px;
  width: 20px;
  height: 20px;
}

html[dir='ltr'] #close-overlay {
  float: right;
  right: -20px;
}

html[dir='rtl'] #close-overlay {
  float: left;
  left: -20px;
}

.overlay .button-strip {
  text-align: end;
}

.overlay > div {
  background: white;
  border-radius: 5px;
  padding: 15px;
  border: 1px solid #666;
  -webkit-box-shadow: 3px 3px 3px #666;
}

#navbar {
  margin: 0;
}

#navbar-container {
  background: -webkit-gradient(linear,
                               left top,
                               left bottom,
                               from(rgba(234, 238, 243, 0)),
                               to(#eaeef3)),
              -webkit-gradient(linear,<commit_msg>dom-ui options: Add vertical padding for the button strip.<commit_after>body {
  font-size: 100%;
  -webkit-user-select: none;
}

#settings-title {
  -webkit-padding-end: 24px;
  padding-top: 1em;
  padding-bottom: 1em;
  text-align: end;
  font-size: 125%;
  font-weight: normal;
  color: #53627d;
  margin: 0;
}

#main-content {
  display: -webkit-box;
  position: absolute;
  left: 0;
  right: 0;
  top: 0;
  bottom: 0;
}

.overlay {
  position: fixed;
  left: 0;
  right: 0;
  background: rgba(0, 0, 0, .2);
  top: 0;
  bottom: 0;
  z-index: 10;
  padding: 20px;
  display: -webkit-box;
  -webkit-box-align: center;
  -webkit-box-pack: center;
}

#close-overlay {
  position: relative;
  top: -20px;
  width: 20px;
  height: 20px;
}

html[dir='ltr'] #close-overlay {
  float: right;
  right: -20px;
}

html[dir='rtl'] #close-overlay {
  float: left;
  left: -20px;
}

.overlay .button-strip {
  padding-top: 20px;
  text-align: end;
}

.overlay > div {
  background: white;
  border-radius: 5px;
  padding: 15px;
  border: 1px solid #666;
  -webkit-box-shadow: 3px 3px 3px #666;
}

#navbar {
  margin: 0;
}

#navbar-container {
  background: -webkit-gradient(linear,
                               left top,
                               left bottom,
                               from(rgba(234, 238, 243, 0)),
                               to(#eaeef3)),
              -webkit-gradient(linear,
{'fraction_non_alphanumeric': 0.1506949524506218, 'fraction_numerical': 0.04974396488661302, 'mean_word_length': 2.187645687645688, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '1783484', 'n_tokens_mistral': 1183, 'n_tokens_neox': 1034, 'n_words': 247}