<commit_before>html, body.noscroll {
  overflow:hidden;
  height: 100%;
  width: 100%;
  font-family: "Kreon", "Helvetica", serif;
  font-weight: 300;
  font-size: 18px;
}

div.container {
  height: inherit;
}

div.message {
  border-radius: 15px;
  padding: 10px;
  padding-bottom: 15px;
  margin-bottom: 10px;
  margin-top: 10px;
  position: relative;
}

span.message-timestamp{
  font-size: small;
  position: absolute;
  bottom: 2px;
  right: 10px;
}

div.chat-container {
  /* The margin-top pushes the chat panel below the navbar */
  margin-top: 71px;
  height: 90%;
}

div#chat-panel {
  height: 90%;
}

div.chat-entries {
  height: inherit;
  overflow: auto;
  overflow-x: hidden;
}

div#side-panel {
  height: inherit;
}

div.num-connected, div#public-rooms-title, div#all-users-list-title {
  font-weight: bold;
}

div#chat-controls {
  margin-top: 10px;
  margin-bottom: 10px;
  position: absolute;
  bottom: 10px;
}

span.glyphicon-user, span.public-room-icon {
  margin-right: 5px;
}

div.username {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: #777;
}

label.username {
  color: #777;
  margin-bottom: 0px;
}

div#all-users-list-container {
  display: none; /* Hide this element initially */
}

div#all-users-list div.username:hover {
  color: #000;
  cursor: pointer;
}

div.public-room-entry {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: #777;
}

div.public-room-entry:hover {
  color: #000;
  cursor: pointer;
}

div.well {
  border-radius: 15px;
  margin-right: 10px;
  margin-left: 10px;
  border: 3px #e3e3e3;
}

nav.navbar {
  text-align: center;
}

a.navbar-brand {
  font-weight: 400;
  font-size: 22px;
}

div#more-msgs {
  position: absolute;
  background-color: #ddd;
  left: 40%;
  right: 40%;
  bottom: 60px;
  border-radius: 20px;
  text-align: center;
  border: #eee dotted 3px;
  display: none;
  z-index: 5;
}

div.my-username {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: #428bca;
}

/*
side-panel contains 3 containers, num-connected-container
username-container, and public-rooms-container, there is an
implicit max-height of 10% for num-connected-container since
the other two containers use 90%
*/

div#username-container {
  margin-bottom: 10px;
  max-height: 45%;
  overflow-y: scroll;
}

div#public-rooms-container, div#all-users-list-container {
  height: 40%;
}

div#public-rooms-list, div#all-users-list {
  margin-bottom: 10px;
  max-height: 95%;
  overflow-y: scroll;
}

/* Create Room Modal related css */

#create-room-modal input#create-room-modal-input {
  width: 80%;
  margin-bottom: 10px;
}

.modal-body>label {
  font-weight: normal;
}

.modal-body>label>input {
  margin-right: 3px;
}

div#create-room-modal-invite-user-title {
  font-weight: normal;
}

div#create-room-modal-invite-user-container {
  overflow-y: auto;
  max-height: 150px;
}

/*Tab related css */

.nav-pills {
  margin-bottom: 3px;<commit_msg>Change scroll to auto for overflow-y<commit_after>html, body.noscroll {
  overflow:hidden;
  height: 100%;
  width: 100%;
  font-family: "Kreon", "Helvetica", serif;
  font-weight: 300;
  font-size: 18px;
}

div.container {
  height: inherit;
}

div.message {
  border-radius: 15px;
  padding: 10px;
  padding-bottom: 15px;
  margin-bottom: 10px;
  margin-top: 10px;
  position: relative;
}

span.message-timestamp{
  font-size: small;
  position: absolute;
  bottom: 2px;
  right: 10px;
}

div.chat-container {
  /* The margin-top pushes the chat panel below the navbar */
  margin-top: 71px;
  height: 90%;
}

div#chat-panel {
  height: 90%;
}

div.chat-entries {
  height: inherit;
  overflow: auto;
  overflow-x: hidden;
}

div#side-panel {
  height: inherit;
}

div.num-connected, div#public-rooms-title, div#all-users-list-title {
  font-weight: bold;
}

div#chat-controls {
  margin-top: 10px;
  margin-bottom: 10px;
  position: absolute;
  bottom: 10px;
}

span.glyphicon-user, span.public-room-icon {
  margin-right: 5px;
}

div.username {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: #777;
}

label.username {
  color: #777;
  margin-bottom: 0px;
}

div#all-users-list-container {
  display: none; /* Hide this element initially */
}

div#all-users-list div.username:hover {
  color: #000;
  cursor: pointer;
}

div.public-room-entry {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: #777;
}

div.public-room-entry:hover {
  color: #000;
  cursor: pointer;
}

div.well {
  border-radius: 15px;
  margin-right: 10px;
  margin-left: 10px;
  border: 3px #e3e3e3;
}

nav.navbar {
  text-align: center;
}

a.navbar-brand {
  font-weight: 400;
  font-size: 22px;
}

div#more-msgs {
  position: absolute;
  background-color: #ddd;
  left: 40%;
  right: 40%;
  bottom: 60px;
  border-radius: 20px;
  text-align: center;
  border: #eee dotted 3px;
  display: none;
  z-index: 5;
}

div.my-username {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: #428bca;
}

/*
side-panel contains 3 containers, num-connected-container
username-container, and public-rooms-container, there is an
implicit max-height of 10% for num-connected-container since
the other two containers use 90%
*/

div#username-container {
  margin-bottom: 10px;
  max-height: 45%;
  overflow-y: auto;
}

div#public-rooms-container, div#all-users-list-container {
  height: 40%;
}

div#public-rooms-list, div#all-users-list {
  margin-bottom: 10px;
  max-height: 95%;
  overflow-y: auto;
}

/* Create Room Modal related css */

#create-room-modal input#create-room-modal-input {
  width: 80%;
  margin-bottom: 10px;
}

.modal-body>label {
  font-weight: normal;
}

.modal-body>label>input {
  margin-right: 3px;
}

div#create-room-modal-invite-user-title {
  font-weight: normal;
}

div#create-room-modal-invite-user-container {
  overflow-y: auto;
  max-height: 150px;
}

/*Tab related css */

.nav-pills {
  margin-bottom: 3px;
{'fraction_non_alphanumeric': 0.14578090924341552, 'fraction_numerical': 0.035228988424760944, 'mean_word_length': 3.526955201214882, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 9, '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': '2063863', 'n_tokens_mistral': 2496, 'n_tokens_neox': 2288, 'n_words': 504}