<commit_before>html,body{
  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
  width:100%;
  height:100%;
  margin: 0;
  padding: 0;
}

div{
  text-align: left;
  box-sizing: border-box;
}

div.view-table{
  width: 100%;
  padding-left: 20px;
}

div.view-title{
  background-color: #E6ECF3;
  width: 100%;
  padding-left: 20px;
  line-height: 30px;
  cursor: pointer;
}

div.notification-green{
  background-color: #EAF2E8;
  height: 50px;
  width: 100%;
  padding-left: 20px;
  line-height: 50px;
}

div.notification-red{
  background-color: #F5E3E6;
  height: 50px;
  width: 100%;
  padding-left: 20px;
  line-height: 50px;
}

ul {
  margin: 0;
  padding-left: 25px;
}

input{
  border: solid 1px black;
  font-size: 15px;
}

textarea {
  border: solid 1px black;
  font-size: 15px;
}

select {
  border: solid 1px black;
  font-size: 15px;
}

button {
  color: black;
  font-size: 13px;
  font-weight: bold;
  cursor: pointer;
  line-height: 18px;
}

button.blue {
  background-color: #E6ECF3;
  border: solid 2px #3B6C9D;
}

button.green {
  background-color: #EAF2E8;
  border: solid 2px #5D9648;
}

button.orange {
  background-color: #F8EFE4;
  border: solid 2px #E8A13D;
}

button.red {
  background-color: #F5E3E6;
  border: solid 2px #B22B3B;
}

button.grey {
  background-color: #EFEFEF;
  border: solid 2px black;
}

a:link {
  color: #3B6C9D;
  text-decoration: none;
}

a:visited {
  color: #3B6C9D;
  text-decoration: none;
}

a:active {
  color: #3B6C9D;
  text-decoration: none;
}

a:hover {
  color: black;
}

#header{
  position: absolute;
  top: 0px;
  left: 0px;
  margin-left: auto;
  margin-right: auto;
  background-color: #E6ECF3;
  height: 80px;
  width: 100%;
  padding-left: 20px;
}

#body{
  position: absolute;
  top: 80px;
  left: 0px;
  width: 100%;
  padding-left: 20px;
  padding-right: 20px;
}

#content{
  font-size: 15px;
  width: 70%;
  float: left;
}

#menu{
  width: 30%;
  float: right;
  padding-top: 20px;
  padding-left: 50px;
  font-size: 13px;
}

#login{
  top: 30%;
  background-color: #E6ECF3;
  width: 300px;
  border: solid 2px #3B6C9D;
  padding-top: 5px;
  padding-bottom: 5px;<commit_msg>Changed font size for menu items<commit_after>html,body{
  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
  width:100%;
  height:100%;
  margin: 0;
  padding: 0;
}

div{
  text-align: left;
  box-sizing: border-box;
}

div.view-table{
  width: 100%;
  padding-left: 20px;
}

div.view-title{
  background-color: #E6ECF3;
  width: 100%;
  padding-left: 20px;
  line-height: 30px;
  cursor: pointer;
}

div.notification-green{
  background-color: #EAF2E8;
  height: 50px;
  width: 100%;
  padding-left: 20px;
  line-height: 50px;
}

div.notification-red{
  background-color: #F5E3E6;
  height: 50px;
  width: 100%;
  padding-left: 20px;
  line-height: 50px;
}

ul {
  margin: 0;
  padding-left: 25px;
}

input{
  border: solid 1px black;
  font-size: 15px;
}

textarea {
  border: solid 1px black;
  font-size: 15px;
}

select {
  border: solid 1px black;
  font-size: 15px;
}

button {
  color: black;
  font-size: 13px;
  font-weight: bold;
  cursor: pointer;
  line-height: 18px;
}

button.blue {
  background-color: #E6ECF3;
  border: solid 2px #3B6C9D;
}

button.green {
  background-color: #EAF2E8;
  border: solid 2px #5D9648;
}

button.orange {
  background-color: #F8EFE4;
  border: solid 2px #E8A13D;
}

button.red {
  background-color: #F5E3E6;
  border: solid 2px #B22B3B;
}

button.grey {
  background-color: #EFEFEF;
  border: solid 2px black;
}

a:link {
  color: #3B6C9D;
  text-decoration: none;
}

a:visited {
  color: #3B6C9D;
  text-decoration: none;
}

a:active {
  color: #3B6C9D;
  text-decoration: none;
}

a:hover {
  color: black;
}

#header{
  position: absolute;
  top: 0px;
  left: 0px;
  margin-left: auto;
  margin-right: auto;
  background-color: #E6ECF3;
  height: 80px;
  width: 100%;
  padding-left: 20px;
}

#body{
  position: absolute;
  top: 80px;
  left: 0px;
  width: 100%;
  padding-left: 20px;
  padding-right: 20px;
}

#content{
  font-size: 15px;
  width: 70%;
  float: left;
}

#menu{
  width: 30%;
  float: right;
  padding-top: 20px;
  padding-left: 50px;
  font-size: 15px;
}

#login{
  top: 30%;
  background-color: #E6ECF3;
  width: 300px;
  border: solid 2px #3B6C9D;
  padding-top: 5px;
  padding-bottom: 5px;
{'fraction_non_alphanumeric': 0.1470520231213873, 'fraction_numerical': 0.06658959537572254, 'mean_word_length': 3.3608870967741935, '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': '480827', 'n_tokens_mistral': 2114, 'n_tokens_neox': 1898, 'n_words': 426}