<commit_before>@import "bootstrap/bootstrap";
@import "bootstrap/responsive";

// Set the correct sprite paths
@iconSpritePath: asset-path('twitter/bootstrap/glyphicons-halflings.png');
@iconWhiteSpritePath: asset-path('twitter/bootstrap/glyphicons-halflings-white.png');

@hdoPrimaryColor: #019ea2;
@hdoSecondaryColor: #e03d25;
@hdoTertiaryColor: #332b2e;
@hdoQuaternaryColor: #231f20;

@linkColor: @hdoPrimaryColor;
@linkColorHover: darken(@hdoPrimaryColor, 5%);

@btnPrimaryBackground: #08c;

@headingsFontFamily: 'NeoSansStandard', sans-serif;
@baseFontSize: 15px;
@baseLineHeight: 25px;

body {
  padding: 0;
}

.container {
  padding: 0 20px;
}

#hdo-content {
  margin-top: 20px;
  position: relative; /* AVOIDS HEADER OVERLAP */
}

h5, h6 {
  font-family: inherit;<commit_msg>Setting minimum contentarea height to avoid footer floating up.<commit_after>@import "bootstrap/bootstrap";
@import "bootstrap/responsive";

// Set the correct sprite paths
@iconSpritePath: asset-path('twitter/bootstrap/glyphicons-halflings.png');
@iconWhiteSpritePath: asset-path('twitter/bootstrap/glyphicons-halflings-white.png');

@hdoPrimaryColor: #019ea2;
@hdoSecondaryColor: #e03d25;
@hdoTertiaryColor: #332b2e;
@hdoQuaternaryColor: #231f20;

@linkColor: @hdoPrimaryColor;
@linkColorHover: darken(@hdoPrimaryColor, 5%);

@btnPrimaryBackground: #08c;

@headingsFontFamily: 'NeoSansStandard', sans-serif;
@baseFontSize: 15px;
@baseLineHeight: 25px;

body {
  padding: 0;
}

.container {
  padding: 0 20px;
}

#hdo-content {
  margin-top: 20px;
  min-height: 720px;
  position: relative; /* AVOIDS HEADER OVERLAP */
}

h5, h6 {
  font-family: inherit;
{'fraction_non_alphanumeric': 0.1391092129347163, 'fraction_numerical': 0.04087858450274558, 'mean_word_length': 6.354260089686099, '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': '527177', 'n_tokens_mistral': 661, 'n_tokens_neox': 599, 'n_words': 117}