<commit_before>// ----------------------------------------------------------- Responsive break-points
@breakpoint-mobile: 600px;
@breakpoint-tablet: 1000px;
@breakpoint-large-desktop: 1400px;
@scrollbar-width: 20px;

// ----------------------------------------------------------- Media queries
@device-mobile: ~"only screen and (max-width:" (@breakpoint-mobile - 1) ~")";
@device-tablet: ~"only screen and (min-width:" (@breakpoint-mobile) ~") and (max-width:" (@breakpoint-tablet - 1) ~")";
@device-desktop: ~"only screen and (min-width:" (@breakpoint-tablet) ~") and (max-width:" (@breakpoint-large-desktop - 1) ~")";
@device-large-desktop: ~"only screen and (min-width:" (@breakpoint-large-desktop) ~")";

@device-tablet-and-smaller: ~"only screen and (max-width:" (@breakpoint-tablet - 1) ~")";
@device-tablet-and-bigger: ~"only screen and (min-width:" (@breakpoint-mobile) ~")";

// ----------------------------------------------------------- Colors
/* As hex codes */
@color-brown-0: #996;
@color-brown-1: #a58855;

@color-grey-0: #AAA;
@color-grey-1: #7c7c7c;
@color-grey-2: #515151;
@color-grey-3: #474747;
@color-grey-4: #202020;
@color-grey-5: #101010;

@color-green-0: #0C7A07; /* Main Primary color */
@color-green-1: #0BBE01;
@color-green-2: #109709;
@color-green-3: #045500;
@color-green-4: #033200;

@color-yellow-0: #FFF700;
@color-yellow-1: #FFFCA4;
@color-yellow-2: #FFFA70;
@color-yellow-3: #D9D200;
@color-yellow-4: #A7A200;

@color-red-0: #95080C; /* Main Complement color */
@color-red-1: #E80207;
@color-red-2: #B80B10;
@color-red-3: #680003;
@color-red-4: #3E0002;
@color-red-5: #250001;

@color-rarity-0: @color-grey-3;
@color-rarity-1: @color-grey-0;
@color-rarity-2: @color-green-1;
@color-rarity-3: #1138ff;
@color-rarity-4: #7e0aff;
@color-rarity-5: #ff761f;

/* As RGBa codes */
@rgba-brown-0: rgba(153, 153, 102, 1);

@rgba-grey-0: rgba(153, 153, 153, 1);
@rgba-grey-1: rgba(128, 128, 128, 1);
@rgba-grey-2: rgba(81, 81, 81, 1);
@rgba-grey-3: rgba(32, 32, 32, 1);
@rgba-grey-4: rgba(26, 26, 26, 1);

@rgba-green-0: rgba(12, 122, 7, 1); /* Main Primary color */
@rgba-green-1: rgba(11, 190, 1, 1);
@rgba-green-2: rgba(16, 151, 9, 1);
@rgba-green-3: rgba(4, 85, 0, 1);
@rgba-green-4: rgba(3, 50, 0, 1);

@rgba-yellow-0: rgba(255, 247, 0, 1);
@rgba-yellow-1: rgba(255, 252, 164, 1);
@rgba-yellow-2: rgba(255, 250, 112, 1);
@rgba-yellow-3: rgba(217, 210, 0, 1);
@rgba-yellow-4: rgba(167, 162, 0, 1);

@rgba-red-0: rgba(149, 8, 12, 1); /* Main Complement color */
@rgba-red-1: rgba(232, 2, 7, 1);
@rgba-red-2: rgba(184, 11, 16, 1);
@rgba-red-3: rgba(104, 0, 3, 1);
@rgba-red-4: rgba(62, 0, 2, 1);

// ----------------------------------------------------------- Font

@font-face {
    font-family: 'All Ages';<commit_msg>Removed the RGB colors and made red a bit brighter<commit_after>// ----------------------------------------------------------- Responsive break-points
@breakpoint-mobile: 600px;
@breakpoint-tablet: 1000px;
@breakpoint-large-desktop: 1400px;
@scrollbar-width: 20px;

// ----------------------------------------------------------- Media queries
@device-mobile: ~"only screen and (max-width:" (@breakpoint-mobile - 1) ~")";
@device-tablet: ~"only screen and (min-width:" (@breakpoint-mobile) ~") and (max-width:" (@breakpoint-tablet - 1) ~")";
@device-desktop: ~"only screen and (min-width:" (@breakpoint-tablet) ~") and (max-width:" (@breakpoint-large-desktop - 1) ~")";
@device-large-desktop: ~"only screen and (min-width:" (@breakpoint-large-desktop) ~")";

@device-tablet-and-smaller: ~"only screen and (max-width:" (@breakpoint-tablet - 1) ~")";
@device-tablet-and-bigger: ~"only screen and (min-width:" (@breakpoint-mobile) ~")";

// ----------------------------------------------------------- Colors
/* As hex codes */
@color-brown-0: #996;
@color-brown-1: #a58855;

@color-grey-0: #AAA;
@color-grey-1: #7c7c7c;
@color-grey-2: #515151;
@color-grey-3: #474747;
@color-grey-4: #202020;
@color-grey-5: #101010;

@color-green-0: #0C7A07; /* Main Primary color */
@color-green-1: #0BBE01;
@color-green-2: #109709;
@color-green-3: #045500;
@color-green-4: #033200;

@color-yellow-0: #FFF700;
@color-yellow-1: #FFFCA4;
@color-yellow-2: #FFFA70;
@color-yellow-3: #D9D200;
@color-yellow-4: #A7A200;

@color-red-0: #be080c; /* Main Complement color */
@color-red-1: #E80207;
@color-red-2: #B80B10;
@color-red-3: #680003;
@color-red-4: #3E0002;
@color-red-5: #250001;

@color-rarity-0: @color-grey-3;
@color-rarity-1: @color-grey-0;
@color-rarity-2: @color-green-1;
@color-rarity-3: #1138ff;
@color-rarity-4: #7e0aff;
@color-rarity-5: #ff761f;

// ----------------------------------------------------------- Font

@font-face {
    font-family: 'All Ages';
{'fraction_non_alphanumeric': 0.30805283340434597, 'fraction_numerical': 0.10758414997869621, 'mean_word_length': 2.7771520514883345, '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': '197972', 'n_tokens_mistral': 2281, 'n_tokens_neox': 1878, 'n_words': 390}