<commit_before>/* Variables for Mixins */

//avatar sizes
@avatar-size-xs: 27px;
@avatar-size-sm: 33px;
@avatar-size-default: 60px;
@avatar-size-lg: 130px;
@avatar-size: @avatar-size-default;
@social-media-icon-size: 20px;

// set up a div whose height will always be $percent of its width
// e.g. http://jsfiddle.net/B8FU8/2441/
// via: http://stackoverflow.com/questions/5445491/height-equal-to-dynamic-width-css-fluid-layout
.fluid-height(@percent) {
  display: inline-block;
  position: relative;

  &:after {
    content: '';
    display: block;
    margin-top: @percent;
  }
  > div {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
  }
}

/* Mixins for our app */

@default-button-height: 32px;

.rounded-button(@size: @default-button-height, @background-color: white) {
  .proxima-nova-regular;
  font-size: 14px;
  &, &:hover {
    text-decoration: none;
    color: @text-dark;
  }
  background-color: @background-color;
  cursor: pointer;
  border: 1px solid @light-gray;
  border-radius: @size;
  display: inline-block;
  height: @size;
  line-height: @size - 2px;
  padding: 0px 15px;
  outline: none;
  > i {
    position: relative;
    top: 1px;
  }
  &:active {
    background-color: darken(@background-color, 20%);
  }
}

.rounded-button-dark(@size: @default-button-height, @background-color: @dark-gray) {
  .rounded-button(@size, @background-color);
  color: white;
}

.rounded-button-clear {
  .rounded-button;
  color: white;
  background-color: transparent;
  border: 1px solid white;
  &:active {
    background-color: rgba(255, 255, 255, 0.3);
  }
}

.circular-button(@size: @default-button-height) {
  .rounded-button(@size);
  width: @size;
  text-align: center;
  padding: 0;
}

.transform (@rule) {
  transform: @rule;
  -ms-transform: @rule; /* IE 9 */
  -webkit-transform: @rule; /* Safari and Chrome */
}

.blur(@px) {
  filter: blur(@px);<commit_msg>fix regression in button colors<commit_after>/* Variables for Mixins */

//avatar sizes
@avatar-size-xs: 27px;
@avatar-size-sm: 33px;
@avatar-size-default: 60px;
@avatar-size-lg: 130px;
@avatar-size: @avatar-size-default;
@social-media-icon-size: 20px;

// set up a div whose height will always be $percent of its width
// e.g. http://jsfiddle.net/B8FU8/2441/
// via: http://stackoverflow.com/questions/5445491/height-equal-to-dynamic-width-css-fluid-layout
.fluid-height(@percent) {
  display: inline-block;
  position: relative;

  &:after {
    content: '';
    display: block;
    margin-top: @percent;
  }
  > div {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
  }
}

/* Mixins for our app */

@default-button-height: 32px;

.rounded-button(@size: @default-button-height, @background-color: white) {
  .proxima-nova-regular;
  font-size: 14px;
  &, &:hover {
    text-decoration: none;
    color: @text-dark;
  }
  background-color: @background-color;
  cursor: pointer;
  border: 1px solid @light-gray;
  border-radius: @size;
  display: inline-block;
  height: @size;
  line-height: @size - 2px;
  padding: 0px 15px;
  outline: none;
  > i {
    position: relative;
    top: 1px;
  }
  &:active {
    background-color: darken(@background-color, 20%);
  }
}

.rounded-button-dark(@size: @default-button-height, @background-color: @dark-gray) {
  .rounded-button(@size, @background-color);
  &, &:hover {
    color: white;
  }
}

.rounded-button-clear {
  .rounded-button;
  &, &:hover {
    color: white;
  }
  background-color: transparent;
  border: 1px solid white;
  &:active {
    background-color: rgba(255, 255, 255, 0.3);
  }
}

.circular-button(@size: @default-button-height) {
  .rounded-button(@size);
  width: @size;
  text-align: center;
  padding: 0;
}

.transform (@rule) {
  transform: @rule;
  -ms-transform: @rule; /* IE 9 */
  -webkit-transform: @rule; /* Safari and Chrome */
}

.blur(@px) {
  filter: blur(@px);
{'fraction_non_alphanumeric': 0.17053065430190623, 'fraction_numerical': 0.027820710973724884, 'mean_word_length': 3.2252448313384114, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '4184645', 'n_tokens_mistral': 1578, 'n_tokens_neox': 1446, 'n_words': 315}