<commit_before>@import 'bootstrap.less';

@header-bg: #094d75;
@icon-font-path: "fonts/";

html {
  overflow-y: scroll;
}

.navbar {
  border-radius: 0;
  margin-bottom: 0;
  background-color: darken(@header-bg, 10%);
}

.navbar-content {
  .make-md-column-offset(2);
  .make-md-column(8);
}

.jumbotron {
  #gradient > .vertical(@header-bg; darken(@header-bg, 2%); 50%; 50%);
  background-size: 100% 4px;
  background-color: @header-bg;
  background-repeat: repeat-y;
  color: white;
  text-align: center;
}

div.sphinxsidebar {
  margin-left: 0;
}

// Keep content not too wide for better readability.
.content {
  .make-md-column-offset(2);
  .make-md-column(8);
}

.footer {
  padding-top: 20px;
  padding-bottom: 20px;
  border-top: 1px solid @gray-lighter;
  text-align: center;
}

// TODO: check if this is needed
/*.github-btn {
  border: 0;
  overflow: hidden;
}
.public-func dd {
  margin-left: 0;
}*/

// Indent descriptions of classes, defines and functions.
.class dd, .define dd, .function dd {
  margin-left: 30px;
}<commit_msg>Improve style<commit_after>@import 'bootstrap.less';

@header-bg: #094d75;
@icon-font-path: "fonts/";

html {
  overflow-y: scroll;
}

.navbar {
  border-radius: 0;
  margin-bottom: 0;
  background-color: darken(@header-bg, 10%);
}

.navbar-content {
  .make-md-column-offset(2);
  .make-md-column(8);
}

.jumbotron {
  #gradient > .vertical(@header-bg; darken(@header-bg, 2%); 50%; 50%);
  background-size: 100% 4px;
  background-color: @header-bg;
  background-repeat: repeat-y;
  color: white;
  text-align: center;
}

div.sphinxsidebar {
  margin-left: 0;
}

// Keep content not too wide for better readability.
.content {
  .make-md-column-offset(2);
  .make-md-column(8);
}

.footer {
  padding-top: 20px;
  padding-bottom: 20px;
  border-top: 1px solid @gray-lighter;
  text-align: center;
}

// TODO: check if this is needed
/*.github-btn {
  border: 0;
  overflow: hidden;
}
.public-func dd {
  margin-left: 0;
}*/

// Indent descriptions of classes, defines and functions.
.class dd, .define dd, .function dd {
  margin-left: 30px;
}

// Remove Bootstrap padding for code elements in API signatures.
.descclassname, .descname {
  padding: 0;
}
{'fraction_non_alphanumeric': 0.16757741347905283, 'fraction_numerical': 0.02959927140255009, 'mean_word_length': 3.394, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '6111540', 'n_tokens_mistral': 912, 'n_tokens_neox': 834, 'n_words': 200}