<commit_before>//
// Variables
// --------------------------------------------------


// Global values
// --------------------------------------------------


// Grays
// -------------------------

@gray-darker:            lighten(#000, 13.5%); // #222
@gray-dark:              lighten(#000, 20%);   // #333
@gray:                   lighten(#000, 33.5%); // #555
@gray-light:             lighten(#000, 60%);   // #999
@gray-lighter:           lighten(#000, 93.5%); // #eee

// Brand colors
// -------------------------

@brand-primary:         #4d90fe;
@brand-success:         #35aa47;
@brand-warning:         #faa937;
@brand-danger:          #d84a38;
@brand-info:            #5bc0de;

// Scaffolding
// -------------------------

@body-bg:               #fff;
@text-color:            @gray-dark;

// Links
// -------------------------

@link-color:            #15c;
@link-hover-color:      #15c;

// Typography
// -------------------------

@font-family-sans-serif:  Arial, Helvetica, sans-serif;
@font-family-serif:       Georgia, "Times New Roman", Times, serif;
@font-family-monospace:   Menlo, Monaco, Consolas, "Courier New", monospace;
@font-family-base:        @font-family-sans-serif;

@font-size-base:          13px;
@font-size-large:         (@font-size-base + 1); // 14px
@font-size-small:         (@font-size-base - 1); // 12px
@font-size-mini:          (@font-size-base - 2); // 11px

@line-height-base:        1.5381; // 20/13
@line-height-computed:    ceil(@font-size-base * @line-height-base); // ~20px

@headings-font-family:    @font-family-base;
@headings-font-weight:    bold;
@headings-line-height:    1.15;


// Components
// -------------------------
// Based on 14px font-size and 1.5381 line-height (~20px to start)

@padding-base-vertical:          4px;
@padding-base-horizontal:        8px;

@padding-large-vertical:         9px;
@padding-large-horizontal:       14px;

@padding-small-vertical:         2px;
@padding-small-horizontal:       8px;

@border-radius-base:             2px;
@border-radius-large:            4px;
@border-radius-small:            1px;

@component-active-bg:            @brand-primary;


// Tables
// -------------------------

@table-bg:                           transparent; // overall background-color
@table-bg-accent:                    #f9f9f9; // for striping
@table-bg-hover:                     #ffffcc; // for hover

@table-border-color:                 #ddd; // table and cell border


// Buttons
// -------------------------

@btn-default-color:              #333;
@btn-default-bg:                 #f3f3f3;
@btn-default-border:             #dcdcdc;

@btn-primary-color:              #fff;
@btn-primary-bg:                 @brand-primary;
@btn-primary-border:             #3079ed;

@btn-success-color:              #fff;
@btn-success-bg:                 @brand-success;
@btn-success-border:             #359947;

@btn-warning-color:              #fff;
@btn-warning-bg:                 @brand-warning;
@btn-warning-border:             darken(@btn-warning-bg, 3%);

@btn-danger-color:               #fff;
@btn-danger-bg:                  @brand-danger;
@btn-danger-border:              #c6322a;

@btn-info-color:                 #fff;
@btn-info-bg:                    @brand-info;
@btn-info-border:                darken(@btn-info-bg, 5%);



// Forms
// -------------------------

@input-bg:                       #fff;
@input-bg-disabled:              #f1f1f1;

@input-border:                   #d9d9d9;
@input-border-radius:            @border-radius-small;

@input-color-placeholder:        @gray-light;

@input-height-base:              (@line-height-computed + 10);
@input-height-large:             (@line-height-computed + 20);
@input-height-small:             (@line-height-computed + 4);


// Dropdowns
// -------------------------

@dropdown-bg:                    #fff;
@dropdown-border:                rgba(0,0,0,.2);
@dropdown-divider-top:           #ebebeb;
@dropdown-divider-bottom:        #fff;

@dropdown-link-active-color:     @dropdown-link-color;
@dropdown-link-active-bg:        @component-active-bg;

@dropdown-link-color:            @gray-dark;
@dropdown-link-hover-color:      @gray-dark;
@dropdown-link-hover-bg:         @gray-lighter;



// COMPONENT VARIABLES
// --------------------------------------------------


// Z-index master list
// -------------------------
// Used for a bird's eye view of components dependent on the z-axis
// Try to avoid customizing these :)

@zindex-dropdown:          1000;
@zindex-popover:           1010;
@zindex-tooltip:           1030;
@zindex-navbar-fixed:      1030;
@zindex-modal-background:  1040;
@zindex-modal:             1050;

@zindex-googlebar-fixed:   1029;
@zindex-googlenav-fixed:   1028;


// Glyphicons font path
// -------------------------
@glyphicons-font-path:          "../fonts";


// Navbar
// -------------------------

// Basics of a navbar
@navbar-height:                    28px; // Total height - 30px Google.com. 24px other Google sites
@navbar-color:                     @gray-light;
@navbar-bg:                        #2d2d2d;
@navbar-border:                    #000;

// Navbar links
@navbar-link-color:                @gray-light;
@navbar-link-hover-color:          #fff;
@navbar-link-hover-bg:             transparent;
@navbar-link-active-color:         @navbar-link-hover-color;
@navbar-link-active-bg:            darken(@navbar-bg, 10%);
@navbar-link-disabled-color:       #555;
@navbar-link-disabled-bg:          transparent;

// Navbar brand label
@navbar-brand-color:               @navbar-link-color;
@navbar-brand-hover-color:         #fff;
@navbar-brand-hover-bg:            transparent;

// Inverted navbar
@navbar-inverse-color:             @gray-light;
@navbar-inverse-bg:                #fafafa;
@navbar-inverse-border:            darken(@navbar-inverse-bg, 12%);

// Inverted navbar links
@navbar-inverse-link-color:                 @gray-light;
@navbar-inverse-link-hover-color:           @gray-dark;
@navbar-inverse-link-hover-bg:              transparent;<commit_msg>Navbar fixes<commit_after>//
// Variables
// --------------------------------------------------


// Global values
// --------------------------------------------------


// Grays
// -------------------------

@gray-darker:            lighten(#000, 13.5%); // #222
@gray-dark:              lighten(#000, 20%);   // #333
@gray:                   lighten(#000, 33.5%); // #555
@gray-light:             lighten(#000, 60%);   // #999
@gray-lighter:           lighten(#000, 93.5%); // #eee

// Brand colors
// -------------------------

@brand-primary:         #4d90fe;
@brand-success:         #35aa47;
@brand-warning:         #faa937;
@brand-danger:          #d84a38;
@brand-info:            #5bc0de;

// Scaffolding
// -------------------------

@body-bg:               #fff;
@text-color:            @gray-dark;

// Links
// -------------------------

@link-color:            #15c;
@link-hover-color:      #15c;

// Typography
// -------------------------

@font-family-sans-serif:  Arial, Helvetica, sans-serif;
@font-family-serif:       Georgia, "Times New Roman", Times, serif;
@font-family-monospace:   Menlo, Monaco, Consolas, "Courier New", monospace;
@font-family-base:        @font-family-sans-serif;

@font-size-base:          13px;
@font-size-large:         (@font-size-base + 1); // 14px
@font-size-small:         (@font-size-base - 1); // 12px
@font-size-mini:          (@font-size-base - 2); // 11px

@line-height-base:        1.5381; // 20/13
@line-height-computed:    ceil(@font-size-base * @line-height-base); // ~20px

@headings-font-family:    @font-family-base;
@headings-font-weight:    bold;
@headings-line-height:    1.15;


// Components
// -------------------------
// Based on 14px font-size and 1.5381 line-height (~20px to start)

@padding-base-vertical:          4px;
@padding-base-horizontal:        8px;

@padding-large-vertical:         9px;
@padding-large-horizontal:       14px;

@padding-small-vertical:         2px;
@padding-small-horizontal:       8px;

@border-radius-base:             2px;
@border-radius-large:            4px;
@border-radius-small:            1px;

@component-active-bg:            @brand-primary;


// Tables
// -------------------------

@table-bg:                           transparent; // overall background-color
@table-bg-accent:                    #f9f9f9; // for striping
@table-bg-hover:                     #ffffcc; // for hover

@table-border-color:                 #ddd; // table and cell border


// Buttons
// -------------------------

@btn-default-color:              #333;
@btn-default-bg:                 #f3f3f3;
@btn-default-border:             #dcdcdc;

@btn-primary-color:              #fff;
@btn-primary-bg:                 @brand-primary;
@btn-primary-border:             #3079ed;

@btn-success-color:              #fff;
@btn-success-bg:                 @brand-success;
@btn-success-border:             #359947;

@btn-warning-color:              #fff;
@btn-warning-bg:                 @brand-warning;
@btn-warning-border:             darken(@btn-warning-bg, 3%);

@btn-danger-color:               #fff;
@btn-danger-bg:                  @brand-danger;
@btn-danger-border:              #c6322a;

@btn-info-color:                 #fff;
@btn-info-bg:                    @brand-info;
@btn-info-border:                darken(@btn-info-bg, 5%);



// Forms
// -------------------------

@input-bg:                       #fff;
@input-bg-disabled:              #f1f1f1;

@input-border:                   #d9d9d9;
@input-border-radius:            @border-radius-small;

@input-color-placeholder:        @gray-light;

@input-height-base:              (@line-height-computed + 10);
@input-height-large:             (@line-height-computed + 20);
@input-height-small:             (@line-height-computed + 4);


// Dropdowns
// -------------------------

@dropdown-bg:                    #fff;
@dropdown-border:                rgba(0,0,0,.2);
@dropdown-divider-top:           #ebebeb;
@dropdown-divider-bottom:        #fff;

@dropdown-link-active-color:     @dropdown-link-color;
@dropdown-link-active-bg:        @component-active-bg;

@dropdown-link-color:            @gray-dark;
@dropdown-link-hover-color:      @gray-dark;
@dropdown-link-hover-bg:         @gray-lighter;



// COMPONENT VARIABLES
// --------------------------------------------------


// Z-index master list
// -------------------------
// Used for a bird's eye view of components dependent on the z-axis
// Try to avoid customizing these :)

@zindex-dropdown:          1000;
@zindex-popover:           1010;
@zindex-tooltip:           1030;
@zindex-navbar-fixed:      1030;
@zindex-modal-background:  1040;
@zindex-modal:             1050;

@zindex-googlebar-fixed:   1029;
@zindex-googlenav-fixed:   1028;


// Glyphicons font path
// -------------------------
@glyphicons-font-path:          "../fonts";


// Navbar
// -------------------------

// Basics of a navbar
@navbar-height:                    28px; // Total height - 30px Google.com. 24px other Google sites
@navbar-color:                     @gray-light;
@navbar-bg:                        #2d2d2d;
@navbar-padding:                   floor(@grid-gutter-width / 2);  // ~15px
@navbar-border:                    #000;

// Navbar links
@navbar-link-color:                @gray-light;
@navbar-link-hover-color:          #fff;
@navbar-link-hover-bg:             transparent;
@navbar-link-active-color:         @navbar-link-hover-color;
@navbar-link-active-bg:            darken(@navbar-bg, 10%);
@navbar-link-disabled-color:       #555;
@navbar-link-disabled-bg:          transparent;

// Navbar brand label
@navbar-brand-color:               @navbar-link-color;
@navbar-brand-hover-color:         #fff;
@navbar-brand-hover-bg:            transparent;

// Inverted navbar
@navbar-inverse-color:             @gray-light;
@navbar-inverse-bg:                #fafafa;
@navbar-inverse-border:            darken(@navbar-inverse-bg, 12%);

// Inverted navbar links
@navbar-inverse-link-color:                 @gray-light;
@navbar-inverse-link-hover-color:           @gray-dark;
@navbar-inverse-link-hover-bg:              transparent;
{'fraction_non_alphanumeric': 0.2220669242785497, 'fraction_numerical': 0.03231110745704185, 'mean_word_length': 1.4139710259972216, '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': '3175201', 'n_tokens_mistral': 4165, 'n_tokens_neox': 3760, 'n_words': 666}