<commit_before>// Pick what we want from Bootstrap.
@import "lib/bootstrap/less/variables.less";
@import "lib/bootstrap/less/mixins.less";
@import "lib/bootstrap/less/normalize.less";
@import "lib/bootstrap/less/scaffolding.less";
@import "lib/bootstrap/less/grid.less";
@import "lib/bootstrap/less/type.less";
@import "lib/bootstrap/less/code.less";
@import "lib/bootstrap/less/forms.less";
@import "lib/bootstrap/less/input-groups.less";
@import "lib/bootstrap/less/dropdowns.less";
@import "lib/bootstrap/less/panels.less";
@import "lib/bootstrap/less/component-animations.less";
@import "lib/bootstrap/less/buttons.less";
@import "lib/bootstrap/less/button-groups.less";
@import "lib/bootstrap/less/alerts.less";
@import "lib/bootstrap/less/navs.less";
@import "lib/bootstrap/less/navbar.less";
@import "lib/bootstrap/less/modals.less";
@import "lib/bootstrap/less/thumbnails.less";
@import "lib/bootstrap/less/media.less";
@import "lib/bootstrap/less/labels.less";
@import "lib/bootstrap/less/utilities.less";

// Use Font Awesome (http://fontawesome.io/) instead of Bootstrap's glyphicons.
@import "lib/font-awesome/less/variables.less";
@import "lib/font-awesome/less/mixins.less";

@fa-font-path:   "../lib/font-awesome/fonts";

@import "lib/font-awesome/less/path";
@import "lib/font-awesome/less/core";
@import "lib/font-awesome/less/larger";
@import "lib/font-awesome/less/fixed-width";
@import "lib/font-awesome/less/list";
@import "lib/font-awesome/less/bordered-pulled";
@import "lib/font-awesome/less/animated";
@import "lib/font-awesome/less/rotated-flipped";
@import "lib/font-awesome/less/stacked";
@import "lib/font-awesome/less/icons";

// Animate.css
@import "lib/animate.css/animate.css";

// re-usable styles / mixins
.centered {
  text-align: center;
}

.justified {
  text-align: justify;
}

// Global styles.
html, body, .content {
  height: 100%;
  width: 100%;
  padding: 0;
  border: 0;
}

.navbar-brand {
  font-size: floor(@font-size-base * 2.15);   // ~30px
  padding-right: 5px;
}

.navbar-brand-attribution {
  float: left;
  color: @navbar-inverse-link-color;<commit_msg>Load only the necessary stylesheets from FontAwesome.<commit_after>// Pick what we want from Bootstrap.
@import "lib/bootstrap/less/variables.less";
@import "lib/bootstrap/less/mixins.less";
@import "lib/bootstrap/less/normalize.less";
@import "lib/bootstrap/less/scaffolding.less";
@import "lib/bootstrap/less/grid.less";
@import "lib/bootstrap/less/type.less";
@import "lib/bootstrap/less/code.less";
@import "lib/bootstrap/less/forms.less";
@import "lib/bootstrap/less/input-groups.less";
@import "lib/bootstrap/less/dropdowns.less";
@import "lib/bootstrap/less/panels.less";
@import "lib/bootstrap/less/component-animations.less";
@import "lib/bootstrap/less/buttons.less";
@import "lib/bootstrap/less/button-groups.less";
@import "lib/bootstrap/less/alerts.less";
@import "lib/bootstrap/less/navs.less";
@import "lib/bootstrap/less/navbar.less";
@import "lib/bootstrap/less/modals.less";
@import "lib/bootstrap/less/thumbnails.less";
@import "lib/bootstrap/less/media.less";
@import "lib/bootstrap/less/labels.less";
@import "lib/bootstrap/less/utilities.less";

// Use Font Awesome (http://fontawesome.io/) instead of Bootstrap's glyphicons.
@import "lib/font-awesome/less/variables.less";
@import "lib/font-awesome/less/mixins.less";
@fa-font-path:   "../lib/font-awesome/fonts";
@import "lib/font-awesome/less/path";
@import "lib/font-awesome/less/core";
@import "lib/font-awesome/less/larger";
@import "lib/font-awesome/less/fixed-width";
@import "lib/font-awesome/less/list";
@import "lib/font-awesome/less/animated";
@import "lib/font-awesome/less/rotated-flipped";
@import "lib/font-awesome/less/icons";

// Animate.css
@import "lib/animate.css/animate.css";

// re-usable styles / mixins
.centered {
  text-align: center;
}

.justified {
  text-align: justify;
}

// Global styles.
html, body, .content {
  height: 100%;
  width: 100%;
  padding: 0;
  border: 0;
}

.navbar-brand {
  font-size: floor(@font-size-base * 2.15);   // ~30px
  padding-right: 5px;
}

.navbar-brand-attribution {
  float: left;
  color: @navbar-inverse-link-color;
{'fraction_non_alphanumeric': 0.18221153846153845, 'fraction_numerical': 0.006730769230769231, 'mean_word_length': 4.739310344827587, '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': '4463437', 'n_tokens_mistral': 1541, 'n_tokens_neox': 1485, 'n_words': 245}