<commit_before>body {
  background: url(../img/app_bg.png);
  -webkit-font-smoothing: antialiased;
}
.login {
  padding: 16px;
  background: #ffffff;
}
textarea {
  resize: none;
}
.app_header {
  border-top: 15px solid #bf004d;
  margin-bottom: 10px;
}
.app_header .logo {
  height: 80px;
  text-align: center;
  padding: 14px 0;
}
.app_header .logo img {
  height: 60px;
}
.sidebar {
  background: #ffffff;
  padding: 4px;
  margin-top: 13px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.sidebar .nav li a {
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.sidebar .nav li a:hover {
  color: #ffffff;
  background: #bf004d;
}
.sidebar .nav li.active a {
  background: #bf004d;
}
.postings {
  margin: 10px 0;
}
.postings .posting {
  margin: 3px 0px;
  padding: 12px 16px 2px;
  background: #fff;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.postings .posting .posting_name {
  font-weight: bold;
  color: #bf004d;
  font-size: 15px;
  display: inline-block;
}
.postings .posting .posting_msg,
.postings .posting .posting_img {
  color: #333333;
  font-size: 16px;
  margin: 12px 0;
}
.postings .posting .posting_msg img,
.postings .posting .posting_img img {
  display: block;
  width: 100%;
  height: auto;
  padding: 2px;
  background: #535035;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  margin: 11px 0;
}
.postings .posting .posting_hashtag {
  color: #0099ff;
  text-transform: uppercase;
}
.postings .posting .posting_time {
  font-size: 12px;
  text-align: left;
  color: #7f7f7f;
  display: inline-block;
}
.postings .posting .posting_options {
  font-size: 10px;
  margin: 8px 0;
  text-align: right;
}
.hashtag_header {
  background: #535035;
  padding: 8px;
  color: white;
  font-size: 25px;
  font-weight: 200;
}
.hashtag_header a {
  color: #ffffff;
}
.hashtag_header a:hover {
  text-decoration: none;
  color: #bf004d;
}
.hashtag_header .go_back {
  padding: 0 6px;
  color: #ffffff;
}
.posting_comment {
  margin: 8px 0;
  color: #666;
}
.posting_comment p {
  margin: 0;
}
.posting_comment .single_comment {
  margin: 2px 0;
  padding: 16px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  background: #eee;
}
.posting_comment .single_comment:last-child {
  border: 0;
  margin-bottom: 0;
}
.posting_comment .single_comment .posting_msg {
  font-size: 14px;
  margin: 0;
}
.posting_comment .comment_author {
  font-weight: bold;
}
.posting_comment .comment_meta {
  font-size: 12px;
  font-style: italic;
}
.posting_comment .comment_meta .btn-link {
  font-size: 10px;
  padding: 0;
}
.posting_menu {
  padding: 4px;
  background: #d40055;
}
.posting_menu .row {
  margin: 0;
}
.posting_menu .nav-tabs {
  padding-left: 20px;
}
.posting_menu li a {
  color: #fff;
  margin-bottom: 0!important;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.posting_menu li a:hover {
  background: #fff;
  color: #000;
}
.posting_menu li.active a {
  background: #fff;
  color: #d40055;
  -webkit-border-radius: 3px 3px 0 0;
  -moz-border-radius: 3px 3px 0 0;
  border-radius: 3px 3px 0 0;
}
.posting_menu li.active a:hover {
  background: #fff;
  color: #d40055;
}
.posting_menu .nav-justified li {
  display: table-cell !important;
  width: 1%!important;
}

/* mashup view */
.mashup_wrapper .mashup_item {
    width: 100px;
    height: auto;
    cursor: pointer;
    transition: -webkit-transform 0.8s ease;
}

.mashup_wrapper .mashup_item.highlight {
    width: 300px;
}

.mashup_wrapper .mashup_img,
.mashup_wrapper img {
    width: inherit;
    height: inherit;<commit_msg>better styles for mashup view<commit_after>body {
  background: url(../img/app_bg.png);
  -webkit-font-smoothing: antialiased;
}
.login {
  padding: 16px;
  background: #ffffff;
}
textarea {
  resize: none;
}
.app_header {
  border-top: 15px solid #bf004d;
  margin-bottom: 10px;
}
.app_header .logo {
  height: 80px;
  text-align: center;
  padding: 14px 0;
}
.app_header .logo img {
  height: 60px;
}
.sidebar {
  background: #ffffff;
  padding: 4px;
  margin-top: 13px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.sidebar .nav li a {
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.sidebar .nav li a:hover {
  color: #ffffff;
  background: #bf004d;
}
.sidebar .nav li.active a {
  background: #bf004d;
}
.postings {
  margin: 10px 0;
}
.postings .posting {
  margin: 3px 0px;
  padding: 12px 16px 2px;
  background: #fff;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.postings .posting .posting_name {
  font-weight: bold;
  color: #bf004d;
  font-size: 15px;
  display: inline-block;
}
.postings .posting .posting_msg,
.postings .posting .posting_img {
  color: #333333;
  font-size: 16px;
  margin: 12px 0;
}
.postings .posting .posting_msg img,
.postings .posting .posting_img img {
  display: block;
  width: 100%;
  height: auto;
  padding: 2px;
  background: #535035;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  margin: 11px 0;
}
.postings .posting .posting_hashtag {
  color: #0099ff;
  text-transform: uppercase;
}
.postings .posting .posting_time {
  font-size: 12px;
  text-align: left;
  color: #7f7f7f;
  display: inline-block;
}
.postings .posting .posting_options {
  font-size: 10px;
  margin: 8px 0;
  text-align: right;
}
.hashtag_header {
  background: #535035;
  padding: 8px;
  color: white;
  font-size: 25px;
  font-weight: 200;
}
.hashtag_header a {
  color: #ffffff;
}
.hashtag_header a:hover {
  text-decoration: none;
  color: #bf004d;
}
.hashtag_header .go_back {
  padding: 0 6px;
  color: #ffffff;
}
.posting_comment {
  margin: 8px 0;
  color: #666;
}
.posting_comment p {
  margin: 0;
}
.posting_comment .single_comment {
  margin: 2px 0;
  padding: 16px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  background: #eee;
}
.posting_comment .single_comment:last-child {
  border: 0;
  margin-bottom: 0;
}
.posting_comment .single_comment .posting_msg {
  font-size: 14px;
  margin: 0;
}
.posting_comment .comment_author {
  font-weight: bold;
}
.posting_comment .comment_meta {
  font-size: 12px;
  font-style: italic;
}
.posting_comment .comment_meta .btn-link {
  font-size: 10px;
  padding: 0;
}
.posting_menu {
  padding: 4px;
  background: #d40055;
}
.posting_menu .row {
  margin: 0;
}
.posting_menu .nav-tabs {
  padding-left: 20px;
}
.posting_menu li a {
  color: #fff;
  margin-bottom: 0!important;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
.posting_menu li a:hover {
  background: #fff;
  color: #000;
}
.posting_menu li.active a {
  background: #fff;
  color: #d40055;
  -webkit-border-radius: 3px 3px 0 0;
  -moz-border-radius: 3px 3px 0 0;
  border-radius: 3px 3px 0 0;
}
.posting_menu li.active a:hover {
  background: #fff;
  color: #d40055;
}
.posting_menu .nav-justified li {
  display: table-cell !important;
  width: 1%!important;
}

/* mashup view */
.mashup_wrapper .mashup_item {
    width: 94px;
    height: auto;
    cursor: pointer;
    transition: -webkit-transform 0.8s ease;
    padding: 3px;
}

.mashup_wrapper .mashup_item.highlight {
    width: 300px;
}

.mashup_wrapper .mashup_img,
.mashup_wrapper img {
    width: inherit;
    height: inherit;
    border-radius: 3px;
    box-shadow: 2px 2px 3px #999;
{'fraction_non_alphanumeric': 0.14075658334447266, 'fraction_numerical': 0.047988236866729046, 'mean_word_length': 3.36013986013986, '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': '5347301', 'n_tokens_mistral': 3423, 'n_tokens_neox': 3075, 'n_words': 712}