<commit_before>body {
	color: #8e8e93;
	direction: ltr;
	overflow-x: hidden;
	height: 100%;
	font-family: Helvetica, Arial, sans-serif;
	font-size: 13px;
	padding: 0;
	margin: 0;
	background: #f7f7f8;
	-webkit-font-smoothing: antialiased !important;
	line-height: 1.42857143
}

.App {
    display: block;
    /*padding: 40px;*/
}

#app {
  height: auto;
  min-height: 100%;
  position: relative;
  width: 100%;
  overflow: hidden;
}
#app .app-content {
  height: 100%;
}
#app .app-content:before, #app .app-content:after {
  content: " ";
  display: table;
}
#app .app-content:after {
  clear: both;
}

.main {
	margin-left: 260px;
}

h1 {
    color: #69c;
}

h2 {
    color: #c96;
}

a {
  color: #006f51;
  background-color: transparent;
}

a, a:focus, a:hover, a:active {
  outline: 0 !important;
  text-decoration: none !important;
  cursor: pointer;
}

a:hover {
  color: #66A893;
}

.main-content {
  background: #ffffff !important;
  border-left: 1px lightgrey solid !important;
}

/* buttons */
.btn {
  transition: all 0.3s ease 0s !important;
  box-shadow: none !important;
  outline: none !important;
  position: relative;
  /*bootstrap css*/
  border-radius: 4px;
  padding: 6px;
  font-size: 14px;
  line-height: 1.42;
  text-align: center;
  white-space: nowrap;
  vertical-align: middle;
  touch-action: manipulation;
  cursor: pointer;
  user-select: none;
}
.btn-primary.btn-o {
  border: 1px solid #006f51;
  color: #006f51;
}
.btn-primary.btn-o:hover {
  border: 1px solid #66A893;
  color: #66A893;
}

.btn-o {
  background: none !important;
}
.btn-wide {
  min-width: 80px;
}

/* navbar */

.current-user {
  float: right;
  padding-right: 20px;
}

.navbar {
  position: absolute;
  top: 0;
  width: 100%;
  z-index: 1089;
  border: none;
  margin-bottom: 0;
  height: 65px;
}

.navbar .navbar-header {
  z-index: 10;
  background: #ffffff;
  border-bottom: 1px solid #c8c7cc;
  position: relative;
  height: 65px;
}

.navbar .navbar-header a {
  line-height: 65px;
  height: 65px;
}
.navbar .navbar-header .navbar-brand {
  padding: 0 15px;
  font-size: 30px;
  font-family: "Raleway", sans-serif;
  font-weight: 300;
  color: #006f51;
  text-decoration: none;
  -webkit-font-smoothing: antialiased !important;
}
.navbar .navbar-header .navbar-brand img {
  display: inline-block;
  margin-top: -6px;<commit_msg>Logo modifications<commit_after>body {
	color: #8e8e93;
	direction: ltr;
	overflow-x: hidden;
	height: 100%;
	font-family: Helvetica, Arial, sans-serif;
	font-size: 13px;
	padding: 0;
	margin: 0;
	background: #f7f7f8;
	-webkit-font-smoothing: antialiased !important;
	line-height: 1.42857143
}

.App {
    display: block;
    /*padding: 40px;*/
}

#app {
  height: auto;
  min-height: 100%;
  position: relative;
  width: 100%;
  overflow: hidden;
}
#app .app-content {
  height: 100%;
}
#app .app-content:before, #app .app-content:after {
  content: " ";
  display: table;
}
#app .app-content:after {
  clear: both;
}

.main {
	margin-left: 260px;
}

h1 {
    color: #69c;
}

h2 {
    color: #c96;
}

a {
  color: #006f51;
  background-color: transparent;
}

a, a:focus, a:hover, a:active {
  outline: 0 !important;
  text-decoration: none !important;
  cursor: pointer;
}

a:hover {
  color: #66A893;
}

.main-content {
  background: #ffffff !important;
  border-left: 1px lightgrey solid !important;
}

/* buttons */
.btn {
  transition: all 0.3s ease 0s !important;
  box-shadow: none !important;
  outline: none !important;
  position: relative;
  /*bootstrap css*/
  border-radius: 4px;
  padding: 6px;
  font-size: 14px;
  line-height: 1.42;
  text-align: center;
  white-space: nowrap;
  vertical-align: middle;
  touch-action: manipulation;
  cursor: pointer;
  user-select: none;
}
.btn-primary.btn-o {
  border: 1px solid #006f51;
  color: #006f51;
}
.btn-primary.btn-o:hover {
  border: 1px solid #66A893;
  color: #66A893;
}

.btn-o {
  background: none !important;
}
.btn-wide {
  min-width: 80px;
}

/* navbar */

.current-user {
  float: right;
  padding-right: 20px;
}

.navbar {
  position: absolute;
  top: 0;
  width: 100%;
  z-index: 1089;
  border: none;
  margin-bottom: 0;
  height: 65px;
}

.navbar .navbar-header {
  z-index: 10;
  background: #ffffff;
  border-bottom: 1px solid #c8c7cc;
  position: relative;
  height: 65px;
}

.navbar .navbar-header a {
  line-height: 65px;
  height: 65px;
}
.navbar .navbar-header .navbar-brand {
  padding: 0 20px;
  font-size: 35px;
  font-family: "Raleway", sans-serif;
  font-weight: 300;
  color: #006f51;
  text-decoration: none;
  -webkit-font-smoothing: antialiased !important;
}
.navbar .navbar-header .navbar-brand img {
  display: inline-block;
  margin-top: -6px;
{'fraction_non_alphanumeric': 0.15450460089878024, 'fraction_numerical': 0.05435480419430772, 'mean_word_length': 3.311808118081181, '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': '3890749', 'n_tokens_mistral': 2111, 'n_tokens_neox': 1881, 'n_words': 448}