<commit_before>
//@devilry-brand-primary-bg: #333;
@devilry-brand-primary-bg: @link-color;
@devilry-brand-primary-color: #fff;
@devilry-brand-border-width: 3px;


@devilry-brand-color-success: #589D20;
@devilry-brand-color-success-dark: shade(@devilry-brand-color-success, 7%);
@devilry-brand-color-success-light1: tint(@devilry-brand-color-success, 7%);
@devilry-brand-color-success-light2: tint(@devilry-brand-color-success, 15%);
@devilry-brand-color-success-light3: tint(@devilry-brand-color-success, 60%);
@devilry-brand-color-success-light4: #fff;

@devilry-brand-color-danger: #E84D3D;
@devilry-brand-color-danger-dark: #a0372f;
@devilry-brand-color-danger-light1: #ec7a71;
@devilry-brand-color-danger-light2: #f1a69f;
@devilry-brand-color-danger-light3: #f8d2ce;
@devilry-brand-color-danger-light4: #fef6f5;

@devilry-brand-color-default: #262626;
@devilry-brand-color-default-dark: #000000;
@devilry-brand-color-default-light1: #747474;
@devilry-brand-color-default-light2: #afafaf;
@devilry-brand-color-default-light3: #dadada;
@devilry-brand-color-default-light4: #f5f5f5;


@devilry-brand-success-bg: @devilry-brand-color-success-dark;
@devilry-brand-success-color: @devilry-brand-color-success-light4;
@devilry-brand-info-bg: #129dc1;
@devilry-brand-info-color: #fff;
@devilry-brand-danger-bg: @devilry-brand-color-danger-dark;
@devilry-brand-danger-color: @devilry-brand-color-danger-light4;
@devilry-brand-muted-color: @devilry-brand-color-default-light1;


@devilry-brand-color-admin: shade(#F18D05, 13%);
@devilry-brand-color-admin-dark: shade(@devilry-brand-color-admin, 18%);
@devilry-brand-color-admin-light1: tint(@devilry-brand-color-admin, 7%);
@devilry-brand-color-admin-light2: tint(@devilry-brand-color-admin, 15%);
@devilry-brand-color-admin-light3: tint(@devilry-brand-color-admin, 30%);
@devilry-brand-color-admin-light4: #fff;


@devilry-brand-color-examiner: #129dc1;
@devilry-brand-color-examiner-dark: shade(@devilry-brand-color-examiner, 18%);
@devilry-brand-color-examiner-light1: tint(@devilry-brand-color-examiner, 7%);
@devilry-brand-color-examiner-light2: tint(@devilry-brand-color-examiner, 15%);
@devilry-brand-color-examiner-light3: tint(@devilry-brand-color-examiner, 60%);
@devilry-brand-color-examiner-light4: #fff;

@devilry-brand-color-student: #589D20;
@devilry-brand-color-student-dark: shade(@devilry-brand-color-student, 18%);
@devilry-brand-color-student-light1: tint(@devilry-brand-color-student, 7%);
@devilry-brand-color-student-light2: tint(@devilry-brand-color-student, 15%);
@devilry-brand-color-student-light3: tint(@devilry-brand-color-student, 30%);
@devilry-brand-color-student-light4: #fff;


@devilry-brand-focusbox-shadow: 0 2px 20px rgba(0, 0, 0, 0.05);
@devilry-brand-focusbox-margin: 8px;


@devilry-student-bgcolor: @devilry-brand-color-student;
@devilry-examiner-bgcolor: @devilry-brand-color-examiner;
@devilry-anyadmin-bgcolor: @devilry-brand-color-admin;



@devilry-unit: 6px;
@devilry-spacing: @devilry-unit * 4;<commit_msg>#1109 Adjust examiner theme color for greater contrast<commit_after>
//@devilry-brand-primary-bg: #333;
@devilry-brand-primary-bg: @link-color;
@devilry-brand-primary-color: #fff;
@devilry-brand-border-width: 3px;


@devilry-brand-color-success: #589D20;
@devilry-brand-color-success-dark: shade(@devilry-brand-color-success, 7%);
@devilry-brand-color-success-light1: tint(@devilry-brand-color-success, 7%);
@devilry-brand-color-success-light2: tint(@devilry-brand-color-success, 15%);
@devilry-brand-color-success-light3: tint(@devilry-brand-color-success, 60%);
@devilry-brand-color-success-light4: #fff;

@devilry-brand-color-danger: #E84D3D;
@devilry-brand-color-danger-dark: #a0372f;
@devilry-brand-color-danger-light1: #ec7a71;
@devilry-brand-color-danger-light2: #f1a69f;
@devilry-brand-color-danger-light3: #f8d2ce;
@devilry-brand-color-danger-light4: #fef6f5;

@devilry-brand-color-default: #262626;
@devilry-brand-color-default-dark: #000000;
@devilry-brand-color-default-light1: #747474;
@devilry-brand-color-default-light2: #afafaf;
@devilry-brand-color-default-light3: #dadada;
@devilry-brand-color-default-light4: #f5f5f5;


@devilry-brand-success-bg: @devilry-brand-color-success-dark;
@devilry-brand-success-color: @devilry-brand-color-success-light4;
@devilry-brand-info-bg: #129dc1;
@devilry-brand-info-color: #fff;
@devilry-brand-danger-bg: @devilry-brand-color-danger-dark;
@devilry-brand-danger-color: @devilry-brand-color-danger-light4;
@devilry-brand-muted-color: @devilry-brand-color-default-light1;


@devilry-brand-color-admin: shade(#F18D05, 13%);
@devilry-brand-color-admin-dark: shade(@devilry-brand-color-admin, 18%);
@devilry-brand-color-admin-light1: tint(@devilry-brand-color-admin, 7%);
@devilry-brand-color-admin-light2: tint(@devilry-brand-color-admin, 15%);
@devilry-brand-color-admin-light3: tint(@devilry-brand-color-admin, 30%);
@devilry-brand-color-admin-light4: #fff;


@devilry-brand-color-examiner: #077A97;
@devilry-brand-color-examiner-dark: shade(@devilry-brand-color-examiner, 18%);
@devilry-brand-color-examiner-light1: tint(@devilry-brand-color-examiner, 7%);
@devilry-brand-color-examiner-light2: tint(@devilry-brand-color-examiner, 15%);
@devilry-brand-color-examiner-light3: tint(@devilry-brand-color-examiner, 60%);
@devilry-brand-color-examiner-light4: #fff;

@devilry-brand-color-student: #589D20;
@devilry-brand-color-student-dark: shade(@devilry-brand-color-student, 18%);
@devilry-brand-color-student-light1: tint(@devilry-brand-color-student, 7%);
@devilry-brand-color-student-light2: tint(@devilry-brand-color-student, 15%);
@devilry-brand-color-student-light3: tint(@devilry-brand-color-student, 30%);
@devilry-brand-color-student-light4: #fff;


@devilry-brand-focusbox-shadow: 0 2px 20px rgba(0, 0, 0, 0.05);
@devilry-brand-focusbox-margin: 8px;


@devilry-student-bgcolor: @devilry-brand-color-student;
@devilry-examiner-bgcolor: @devilry-brand-color-examiner;
@devilry-anyadmin-bgcolor: @devilry-brand-color-admin;



@devilry-unit: 6px;
@devilry-spacing: @devilry-unit * 4;
{'fraction_non_alphanumeric': 0.18430203676105317, 'fraction_numerical': 0.04487497930120881, 'mean_word_length': 6.156398104265403, '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': '2283478', 'n_tokens_mistral': 2767, 'n_tokens_neox': 2538, 'n_words': 272}