<commit_before>---
---
@import "../css/variables";
@import "../_sass/bootstrap/bootstrap";

@import "../css/sidebar";
@import "../css/section_index";
@import "../css/search";
@import "../css/plugins/offcanvas";

$header-height: 75px;
$sticky-top: $header-height + $navbar-margin-bottom;

// By default bootstrap doesn't apply many styles to table elements
// unless they have class .table and .table-bordered
// These lines here extend the table so it automatically gets those
// stylings and look like real tables without having to add
// that class to everything.
#content-main {
  table {
    @extend .table;
    @extend .table-bordered;
  }

  img {
    @extend .img-responsive;
  }

  h2:target,
  h3:target,
  h4:target,
  h5:target {
    padding-top: $sticky-top;
    margin-top: -$sticky-top;
  }
}

h1 {
  font-size: 38px;
}

h4 {
  margin: 22px 0px 8px 0px;
  font-weight: 700;
  font-size: 20px;
}

// Set height to prevent weird bug where sidebar is clipped at bottom.
html {
  overflow-y: scroll;
  position: relative;
  min-height: 100%;
}

body {
  -webkit-overflow-scrolling: touch;
  overflow-x: visible;
  padding-top: $sticky-top;

  @media (max-width: $screen-xs-max) {
    overflow-x: hidden;
  }
}

h2,h3 {
  margin-top: 28px;
}

pre code {<commit_msg>Place back blockquote that disapeared. (#3731)<commit_after>---
---
@import "../css/variables";
@import "../_sass/bootstrap/bootstrap";

@import "../css/sidebar";
@import "../css/section_index";
@import "../css/search";
@import "../css/plugins/offcanvas";

$header-height: 75px;
$sticky-top: $header-height + $navbar-margin-bottom;

// By default bootstrap doesn't apply many styles to table elements
// unless they have class .table and .table-bordered
// These lines here extend the table so it automatically gets those
// stylings and look like real tables without having to add
// that class to everything.
#content-main {
  table {
    @extend .table;
    @extend .table-bordered;
  }

  img {
    @extend .img-responsive;
  }

  h2:target,
  h3:target,
  h4:target,
  h5:target {
    padding-top: $sticky-top;
    margin-top: -$sticky-top;
  }
}

h1 {
  font-size: 38px;
}

h4 {
  margin: 22px 0px 8px 0px;
  font-weight: 700;
  font-size: 20px;
}

// Default blockquotes are too big in Bootstrap.
// Shrink them down
blockquote {
  font-size: inherit;
}

// Set height to prevent weird bug where sidebar is clipped at bottom.
html {
  overflow-y: scroll;
  position: relative;
  min-height: 100%;
}

body {
  -webkit-overflow-scrolling: touch;
  overflow-x: visible;
  padding-top: $sticky-top;

  @media (max-width: $screen-xs-max) {
    overflow-x: hidden;
  }
}

h2,h3 {
  margin-top: 28px;
}

pre code {
{'fraction_non_alphanumeric': 0.14732142857142858, 'fraction_numerical': 0.021577380952380952, 'mean_word_length': 3.055806938159879, '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': '2042369', 'n_tokens_mistral': 1009, 'n_tokens_neox': 945, 'n_words': 270}