<commit_before>// Use this file to override Twitter Bootstrap variables or define own variables.

// Base colours

@beige: #f3f1ee;
@brown: #413f3b;

@green:  #5f8e43;
@blue:   #2f4365;
@red:    #8e4d43;
@orange: #b2685c;
@yellow: #b2935c;

@body-bg: @beige;
@text-color: @brown;

@link-color: @green;

// Typography (with help from bootswatch.com's "readable" theme)
@import url('//fonts.googleapis.com/css?family=Lora:400,700,400italic,700italic');
@font-family-sans-serif:        "Helvetica Neue", Helvetica, Arial, sans-serif;
@font-family-serif:       Georgia, "Times New Roman", Times, serif;
@font-family-mono:        Monaco, Menlo, Consolas, "Courier New", monospace;

@font-size-base:          15px;
@font-family-base:        @font-family-sans-serif;
@line-height-base:        @font-size-base * 1.5;
@alt-font-family:         @font-family-sans-serif;

@headings-font-family:    "Lora", Georgia, "Times New Roman", Times, serif;
@headings-font-weight:    bold;    // instead of browser default, bold
@headings-color:         inherit; // empty to use BS default, @textColor

// Hero unit
@jumbotron-bg: darken(@body-bg, 10%);

// Nav bar
@navbar-background: @brown;
@navbar-background-highlight: @brown;
@navbar-text: @beige;
@navbar-link-color: darken(@beige, 20%);
@navbar-link-color-hover: @beige;
@navbar-link-color-active: @beige;
@navbar-brand-color: lighten(@green, 20%);

@dropdown-background: lighten(@beige, 10%);
@dropdown-link-color: @brown;
@dropdown-link-color-hover: @brown;
@dropdown-link-background-hover: lighten(@green, 50%);<commit_msg>Bootstrap3: fix vars for nav & dropdowns<commit_after>// Use this file to override Twitter Bootstrap variables or define own variables.

// Base colours

@beige: #f3f1ee;
@brown: #413f3b;

@green:  #5f8e43;
@blue:   #2f4365;
@red:    #8e4d43;
@orange: #b2685c;
@yellow: #b2935c;

@body-bg: @beige;
@text-color: @brown;

@link-color: @green;

// Typography (with help from bootswatch.com's "readable" theme)
@import url('//fonts.googleapis.com/css?family=Lora:400,700,400italic,700italic');
@font-family-sans-serif:        "Helvetica Neue", Helvetica, Arial, sans-serif;
@font-family-serif:       Georgia, "Times New Roman", Times, serif;
@font-family-mono:        Monaco, Menlo, Consolas, "Courier New", monospace;

@font-size-base:          15px;
@font-family-base:        @font-family-sans-serif;
@line-height-base:        @font-size-base * 1.5;
@alt-font-family:         @font-family-sans-serif;

@headings-font-family:    "Lora", Georgia, "Times New Roman", Times, serif;
@headings-font-weight:    bold;    // instead of browser default, bold
@headings-color:         inherit; // empty to use BS default, @textColor

// Hero unit
@jumbotron-bg: darken(@body-bg, 10%);

// Nav bar
@navbar-default-bg: @brown;
@navbar-default-bg-highlight: @brown;
@navbar-default-color: @beige;
@navbar-default-link-color: darken(@beige, 20%);
@navbar-default-link-hover-color: @beige;
@navbar-default-link-active-color: @beige;
@navbar-brand-color: lighten(@green, 20%);

@dropdown-bg: lighten(@beige, 10%);
@dropdown-link-color: @brown;
@dropdown-link-hover-color: @brown;
@dropdown-link-hover-bg: lighten(@green, 50%);
{'fraction_non_alphanumeric': 0.17160883280757097, 'fraction_numerical': 0.033753943217665616, 'mean_word_length': 4.189852700490999, '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': '4112008', 'n_tokens_mistral': 1302, 'n_tokens_neox': 1176, 'n_words': 262}