<commit_before>/* 
   CSS rules for the WMT client.
*/

.gwt-HTML {
   font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif;
}

.wmt-DockLayoutPanel {
   padding: 3px;
   margin: 1em;
}

.wmt-SplitLayoutPanel {
   border: 3px solid #ccc;
}

.gwt-SplitLayoutPanel .gwt-SplitLayoutPanel-HDragger {
   background-color: #ccc;
}
.gwt-SplitLayoutPanel .gwt-SplitLayoutPanel-VDragger {
   background-color: #ccc;
}

.wmt-ParameterTableHeader {
   font-weight: bold;
   color: #333; /* matches font color in tab titles */
   border-bottom: 2px solid #aaa;
   padding-bottom: 5px;
   padding-left: 1px;
}

.gwt-DecoratedPopupPanel .popupMiddleCenter {
   height: 100%;
   width: 100%;
}

.gwt-DecoratedPopupPanel .popupMiddleCenterInner {
   /* background-color: white; */
}

.wmt-ModelMenu {
   border: 1px ridge #ddd;
   background-color: white;
   padding: 3px;
}

.wmt-ModelMenuSeparator {
   width: 100%;
   height: 1px;
   margin-bottom: 3px;
   background: 1px solid black;
}

/* The "hamburger" menu icon. */
.wmt-ModelMenuButton {
   margin: 0px;
   padding: 0px;
   color: #333; /* matches font color in tab titles */
}

/* The offset for TreeItems in the ModelTree. */
.wmt-TreeItem {
   margin-left: 90px !important;
}

/* Pull-down menu items in a ComponentCell. */
.wmt-ComponentCellMenuItem {
  padding: 6px 40px 6px 1px;
}

/* "Play" button attached to the driver. */
.wmt-DriverCell {
  padding: 1em 0 1em 5px;
}

/* Base style for a ComponentCell. */
.wmt-ComponentCell {
  font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif;
  font-style: italic;
  text-align: center;
  background-color: white;
  border: 2px solid #55b;
  height: 50px;
  width: 120px;
  max-width: 120px;
  min-width: 120px;
}

/* A ComponentCell that displays a component. */
.wmt-ComponentCell-connected {
  font-style: normal;
  background-color: #eef;
  border: 2px solid #55b;
}

/* A ComponentCell that displays a linked component. */
.wmt-ComponentCell-linked {
   color: black;
}
.wmt-ComponentCell-linked:after {
   font-family: "FontAwesome";
   padding: 5px;
   content: "\f112";
   color: black;
}

/* The informational message displayed when the ParameterTable is empty. */
.wmt-ParameterTableMessage {
   padding: 1em;
   margin: 0px;
   text-align: center;
   color: #ccc;
}

/* Text used in a parameter description. */
.wmt-ParameterDescription {
   padding-left: 1.5em;
   color: #039;
}

/* All TextBoxen, but especially those used in the ParameterTable. */
.gwt-TextBox {
   font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif !important;
   background-color: #ffc;
}

.gwt-TextBox-outofrange {
   background-color: #fcc;
}

.gwt-ListBox {
   font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif !important;
   font-size: initial;
}

.gwt-Button {
  font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
}

.gwt-Button-slim {
   padding: 3px 7px !important;
}

.gwt-Label {
  font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
}

.gwt-DialogBox .Caption {
  font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif !important;
}

.gwt-PasswordTextBox {
   background-color: #ffc;
}

/* Separates parameter groups in the ParameterTable. */
.wmt-ParameterSeparator {<commit_msg>Experiment with ListBox font size<commit_after>/* 
   CSS rules for the WMT client.
*/

.gwt-HTML {
   font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif;
}

.wmt-DockLayoutPanel {
   padding: 3px;
   margin: 1em;
}

.wmt-SplitLayoutPanel {
   border: 3px solid #ccc;
}

.gwt-SplitLayoutPanel .gwt-SplitLayoutPanel-HDragger {
   background-color: #ccc;
}
.gwt-SplitLayoutPanel .gwt-SplitLayoutPanel-VDragger {
   background-color: #ccc;
}

.wmt-ParameterTableHeader {
   font-weight: bold;
   color: #333; /* matches font color in tab titles */
   border-bottom: 2px solid #aaa;
   padding-bottom: 5px;
   padding-left: 1px;
}

.gwt-DecoratedPopupPanel .popupMiddleCenter {
   height: 100%;
   width: 100%;
}

.gwt-DecoratedPopupPanel .popupMiddleCenterInner {
   /* background-color: white; */
}

.wmt-ModelMenu {
   border: 1px ridge #ddd;
   background-color: white;
   padding: 3px;
}

.wmt-ModelMenuSeparator {
   width: 100%;
   height: 1px;
   margin-bottom: 3px;
   background: 1px solid black;
}

/* The "hamburger" menu icon. */
.wmt-ModelMenuButton {
   margin: 0px;
   padding: 0px;
   color: #333; /* matches font color in tab titles */
}

/* The offset for TreeItems in the ModelTree. */
.wmt-TreeItem {
   margin-left: 90px !important;
}

/* Pull-down menu items in a ComponentCell. */
.wmt-ComponentCellMenuItem {
  padding: 6px 40px 6px 1px;
}

/* "Play" button attached to the driver. */
.wmt-DriverCell {
  padding: 1em 0 1em 5px;
}

/* Base style for a ComponentCell. */
.wmt-ComponentCell {
  font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif;
  font-style: italic;
  text-align: center;
  background-color: white;
  border: 2px solid #55b;
  height: 50px;
  width: 120px;
  max-width: 120px;
  min-width: 120px;
}

/* A ComponentCell that displays a component. */
.wmt-ComponentCell-connected {
  font-style: normal;
  background-color: #eef;
  border: 2px solid #55b;
}

/* A ComponentCell that displays a linked component. */
.wmt-ComponentCell-linked {
   color: black;
}
.wmt-ComponentCell-linked:after {
   font-family: "FontAwesome";
   padding: 5px;
   content: "\f112";
   color: black;
}

/* The informational message displayed when the ParameterTable is empty. */
.wmt-ParameterTableMessage {
   padding: 1em;
   margin: 0px;
   text-align: center;
   color: #ccc;
}

/* Text used in a parameter description. */
.wmt-ParameterDescription {
   padding-left: 1.5em;
   color: #039;
}

/* All TextBoxen, but especially those used in the ParameterTable. */
.gwt-TextBox {
   font-family: "Lucida Sans Unicode", "Lucida Grande", Sans-Serif !important;
   background-color: #ffc;
}

.gwt-TextBox-outofrange {
   background-color: #fcc;
}

.gwt-ListBox {
   font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif !important;
   font-size: medium;
}

.gwt-Button {
  font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
}

.gwt-Button-slim {
   padding: 3px 7px !important;
}

.gwt-Label {
  font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
}

.gwt-DialogBox .Caption {
  font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif !important;
}

.gwt-PasswordTextBox {
   background-color: #ffc;
}

/* Separates parameter groups in the ParameterTable. */
.wmt-ParameterSeparator {
{'fraction_non_alphanumeric': 0.13482457484296, 'fraction_numerical': 0.021142944691282365, 'mean_word_length': 3.413793103448276, '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': '7094750', 'n_tokens_mistral': 2515, 'n_tokens_neox': 2332, 'n_words': 610}