<commit_before>//
// The Variables of ZUI.
// =========================

// Form states and alerts
@state-default-text:         @color-dark;
@state-default-bg:           @color-gray-pale;
@state-default-inverse-bg:   @color-dark;
@state-default-border:       darken(spin(@state-default-bg, -10), 5%);

@state-primary-text:         @color-primary;
@state-primary-bg:           @color-pale;
@state-primary-inverse-bg:   @color-primary;
@state-primary-border:       darken(spin(@state-primary-bg, -10), 5%);

@state-success-text:         @color-success;
@state-success-bg:           @color-success-pale;
@state-success-inverse-bg:   @color-success;
@state-success-border:       darken(spin(@state-success-bg, -10), 10%);

@state-info-text:            @color-info;
@state-info-bg:              @color-info-pale;
@state-info-inverse-bg:      @color-info;
@state-info-border:          darken(spin(@state-info-bg, -10), 15%);

@state-warning-text:         @color-warning;
@state-warning-bg:           @color-warning-pale;
@state-warning-inverse-bg:   @color-warning;
@state-warning-border:       darken(spin(@state-warning-bg, -10), 5%);

@state-danger-text:          @color-danger;
@state-danger-bg:            @color-danger-pale;
@state-danger-inverse-bg:    @color-danger;
@state-danger-border:        darken(spin(@state-danger-bg, -10), 5%);

@state-important-text:       @color-important;
@state-important-bg:         @color-important-pale;
@state-important-inverse-bg: @color-important;
@state-important-border:     darken(spin(@state-important-bg, -10), 5%);

@state-special-text:         @color-special;
@state-special-bg:           @color-special-pale;
@state-special-inverse-bg:   @color-special;
@state-special-border:       darken(spin(@state-special-bg, -10), 5%);


// Scaffolding
@body-bg:               @color-back;
@text-color:            @color-fore;

// Links
@link-color:            @color-secondary;
@link-hover-color:      darken(@link-color, 15%);
@link-hover-decoration:  underline;


// MEDIA QUERIES TYPES
// -------------------------

// Extra small screen (phone).
@screen-xs:                  480px;
@screen-xs-min:              @screen-xs;
@screen-phone:               @screen-xs-min;

// Small screen (tablet).
@screen-sm:                  768px;
@screen-sm-min:              @screen-sm;
@screen-tablet:              @screen-sm-min;

// Medium screen (desktop).
@screen-md:                  992px;
@screen-md-min:              @screen-md;
@screen-desktop:             @screen-md-min;

// Large screen (wide desktop).
@screen-lg:                  1200px;
@screen-lg-min:              @screen-lg;
@screen-lg-desktop:          @screen-lg-min;

// Provide max value for different screens.
@screen-xs-max:              (@screen-sm-min - 1);
@screen-sm-max:              (@screen-md-min - 1);
@screen-md-max:              (@screen-lg-min - 1);


// GRID SYSTEM
// -------------------------

// Number of grid columns.
@grid-columns:               12;
// Padding applied on all columns at left and right.
@grid-gutter-width:          20px;

@grid-float-breakpoint:      @screen-tablet;

// Small screen / tablet
@container-tablet:            ((720px + @grid-gutter-width));
// Medium screen / desktop
@container-desktop:           ((940px + @grid-gutter-width));
// Large screen / wide desktop
@container-lg-desktop:        ((1140px + @grid-gutter-width));


// TYPOGRAPHY
// -------------------------

// Font family.
@font-family-sans-serif:  "Helvetica Neue", Helvetica, 'Microsoft Yahei', 'Hiragino Sans GB', 'WenQuanYi Micro Hei', Tahoma, Arial, sans-serif;
@font-family-headings:    @font-family-sans-serif;
@font-family-serif:       Georgia, "Times New Roman", Times, serif;
@font-family-monospace:   Monaco, Menlo, Consolas, "Courier New", monospace;
@font-family-base:        @font-family-sans-serif;

// Font size.
@font-size-base:          13px;
@font-size-large:         ceil((@font-size-base * 1.25)); // 18px
@font-size-small:         ceil((@font-size-base * 0.85)); // 12px

@font-size-h1:            floor((@font-size-base * 2.00)); //  28px
@font-size-h2:            floor((@font-size-base * 1.58)); //  22px
@font-size-h3:            floor((@font-size-base * 1.29)); //  18px
@font-size-h4:            floor((@font-size-base * 1.15)); //  16px
@font-size-h5:            @font-size-base;
@font-size-h6:            ceil((@font-size-base * 0.85));  //  12px

// Line height.
@line-height-base:        (20/13); // 20/14
@line-height-computed:    floor((@font-size-base * @line-height-base)); // 20px

// Headings font.
@headings-font-family:    @font-family-headings;
@headings-font-weight:    bold;
@headings-line-height:    1.1;<commit_msg> * ajust code.<commit_after>//
// The Variables of ZUI.
// =========================

// Form states and alerts
@state-default-text:         @color-dark;
@state-default-bg:           @color-gray-pale;
@state-default-inverse-bg:   @color-dark;
@state-default-border:       darken(spin(@state-default-bg, -10), 5%);

@state-primary-text:         @color-primary;
@state-primary-bg:           @color-pale;
@state-primary-inverse-bg:   @color-primary;
@state-primary-border:       darken(spin(@state-primary-bg, -10), 5%);

@state-success-text:         @color-success;
@state-success-bg:           @color-success-pale;
@state-success-inverse-bg:   @color-success;
@state-success-border:       darken(spin(@state-success-bg, -10), 10%);

@state-info-text:            @color-info;
@state-info-bg:              @color-info-pale;
@state-info-inverse-bg:      @color-info;
@state-info-border:          darken(spin(@state-info-bg, -10), 15%);

@state-warning-text:         @color-warning;
@state-warning-bg:           @color-warning-pale;
@state-warning-inverse-bg:   @color-warning;
@state-warning-border:       darken(spin(@state-warning-bg, -10), 5%);

@state-danger-text:          @color-danger;
@state-danger-bg:            @color-danger-pale;
@state-danger-inverse-bg:    @color-danger;
@state-danger-border:        darken(spin(@state-danger-bg, -10), 5%);

@state-important-text:       @color-important;
@state-important-bg:         @color-important-pale;
@state-important-inverse-bg: @color-important;
@state-important-border:     darken(spin(@state-important-bg, -10), 5%);

@state-special-text:         @color-special;
@state-special-bg:           @color-special-pale;
@state-special-inverse-bg:   @color-special;
@state-special-border:       darken(spin(@state-special-bg, -10), 5%);


// Scaffolding
@body-bg:               @color-back;
@text-color:            @color-fore;

// Links
@link-color:            @color-secondary;
@link-hover-color:      darken(@link-color, 15%);
@link-hover-decoration: underline;


// MEDIA QUERIES TYPES
// -------------------------

// Extra small screen (phone).
@screen-xs:                  480px;
@screen-xs-min:              @screen-xs;
@screen-phone:               @screen-xs-min;

// Small screen (tablet).
@screen-sm:                  768px;
@screen-sm-min:              @screen-sm;
@screen-tablet:              @screen-sm-min;

// Medium screen (desktop).
@screen-md:                  992px;
@screen-md-min:              @screen-md;
@screen-desktop:             @screen-md-min;

// Large screen (wide desktop).
@screen-lg:                  1200px;
@screen-lg-min:              @screen-lg;
@screen-lg-desktop:          @screen-lg-min;

// Provide max value for different screens.
@screen-xs-max:              (@screen-sm-min - 1);
@screen-sm-max:              (@screen-md-min - 1);
@screen-md-max:              (@screen-lg-min - 1);


// GRID SYSTEM
// -------------------------

// Number of grid columns.
@grid-columns:               12;
// Padding applied on all columns at left and right.
@grid-gutter-width:          20px;

@grid-float-breakpoint:      @screen-tablet;

// Small screen / tablet
@container-tablet:            ((720px + @grid-gutter-width));
// Medium screen / desktop
@container-desktop:           ((940px + @grid-gutter-width));
// Large screen / wide desktop
@container-lg-desktop:        ((1140px + @grid-gutter-width));


// TYPOGRAPHY
// -------------------------

// Font family.
@font-family-sans-serif:  "Helvetica Neue", Helvetica, 'Microsoft Yahei', 'Hiragino Sans GB', 'WenQuanYi Micro Hei', Tahoma, Arial, sans-serif;
@font-family-headings:    @font-family-sans-serif;
@font-family-serif:       Georgia, "Times New Roman", Times, serif;
@font-family-monospace:   Monaco, Menlo, Consolas, "Courier New", monospace;
@font-family-base:        @font-family-sans-serif;

// Font size.
@font-size-base:          13px;
@font-size-large:         ceil((@font-size-base * 1.25)); // 18px
@font-size-small:         ceil((@font-size-base * 0.85)); // 12px

@font-size-h1:            floor((@font-size-base * 2.00)); //  28px
@font-size-h2:            floor((@font-size-base * 1.58)); //  22px
@font-size-h3:            floor((@font-size-base * 1.29)); //  18px
@font-size-h4:            floor((@font-size-base * 1.15)); //  16px
@font-size-h5:            @font-size-base;
@font-size-h6:            ceil((@font-size-base * 0.85));  //  12px

// Line height.
@line-height-base:        (20/13); // 20/13
@line-height-computed:    floor((@font-size-base * @line-height-base)); // 20px

// Headings font.
@headings-font-family:    @font-family-headings;
@headings-font-weight:    bold;
@headings-line-height:    1.1;
{'fraction_non_alphanumeric': 0.1962336828589771, 'fraction_numerical': 0.02418146800770383, 'mean_word_length': 2.1944634313055364, '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': '2109431', 'n_tokens_mistral': 3449, 'n_tokens_neox': 3184, 'n_words': 571}