<commit_before>@import "../bootstrap/less/bootstrap.less";
@import "../bootstrap/less/theme.less";
@import "mw-overrides.less";


// Override Bootstrap variables

@icon-font-path: "../bootstrap/fonts/";
@font-family-sans-serif: "Segoe UI", "Droid Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
@font-family-serif: Georgia, "Droid Serif", "Times New Roman", Times, serif;
@font-family-monospace: Menlo, Monaco, Consolas, "Droid Mono", "Ubuntu Mono", "Courier New", monospace;
@font-size-base: 16px;
@font-size-h1: floor((@font-size-base * 2.0));
@font-size-h2: floor((@font-size-base * 1.4));
@font-size-h3: floor((@font-size-base * 1.2));
@font-size-h4: floor((@font-size-base * 1.0));
@headings-color: @brand-primary;
@link-color: #207020;
@line-height-base: 1.5;


// Additional style definitions

textarea {
  font-family: @font-family-monospace;
}

body {
  margin-top: 50px; // accomodate fixed-top navbar
}

.footer {
  margin-top: @padding-large-vertical * 2;
}

.bodytext img {
  .img-responsive();
}

.icon img {
  display: inherit;
}

.link-button a:link {
  .btn();
  .btn-default();
}

table {
  .table();
}

@media print {
  @page {
    margin: 2cm 1.5cm 2cm 1.5cm;
  }

  .container {
    width: auto;
  }
}
<commit_msg>Set print font size to 11 pt.<commit_after>@import "../bootstrap/less/bootstrap.less";
@import "../bootstrap/less/theme.less";
@import "mw-overrides.less";


// Override Bootstrap variables

@icon-font-path: "../bootstrap/fonts/";
@font-family-sans-serif: "Segoe UI", "Droid Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
@font-family-serif: Georgia, "Droid Serif", "Times New Roman", Times, serif;
@font-family-monospace: Menlo, Monaco, Consolas, "Droid Mono", "Ubuntu Mono", "Courier New", monospace;
@font-size-base: 16px;
@font-size-h1: floor((@font-size-base * 2.0));
@font-size-h2: floor((@font-size-base * 1.4));
@font-size-h3: floor((@font-size-base * 1.2));
@font-size-h4: floor((@font-size-base * 1.0));
@headings-color: @brand-primary;
@link-color: #207020;
@line-height-base: 1.5;


// Additional style definitions

textarea {
  font-family: @font-family-monospace;
}

body {
  margin-top: 50px; // accomodate fixed-top navbar
}

.footer {
  margin-top: @padding-large-vertical * 2;
}

.bodytext img {
  .img-responsive();
}

.icon img {
  display: inherit;
}

.link-button a:link {
  .btn();
  .btn-default();
}

table {
  .table();
}

@media print {
  @page {
    margin: 2cm 1.5cm 2cm 1.5cm;
  }

  body {
    font-size: 11pt;
  }

  .container {
    width: auto;
  }
}

{'fraction_non_alphanumeric': 0.19566074950690335, 'fraction_numerical': 0.02603550295857988, 'mean_word_length': 3.6703499079189688, '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': '1528968', 'n_tokens_mistral': 1058, 'n_tokens_neox': 990, 'n_words': 211}