<commit_before>@import "../bower_components/bootstrap/less/bootstrap.less";
@import "variables.less";
@import "bootswatch.less";

@headerHeight: 62px;

#main {
  margin-top : @headerHeight;
}

.navbar-fixed-top {
  .navbar-inner {
	padding-left  : 20px;
	padding-right : 20px;
  }

}

.navbar {
  .dropdown-menu {
	padding          : 20px;
	max-height       : 300px;
	overflow         : auto;
	width            : 300px;
	background-color : @navbar-inverse-bg;
	a, a:visited {
	  color : @navbar-inverse-link-color;
	}
	a:hover {
	  color            : @navbar-inverse-link-hover-color;
	  background-color : @navbar-inverse-link-hover-bg;
	}
	a:active {
	  color            : @navbar-inverse-link-active-color;
	  background-color : @navbar-inverse-link-active-bg;
	}
	a {
	  padding-left  : 0;
	  padding-right : 5px;
	  font-weight   : 500;
	  font-size     : 115%;
	}
  }
}

img.branding-logo{
  max-height: 30px;
  display: inline-block;
  padding: 0px;
  margin: -3px 5px 0 0;
}

#toc {
  position   : fixed;
  top        : @headerHeight;
  right      : 0;
  max-height : 82%;
  overflow   : auto;
  .border-top-radius(5px);
  .border-right-radius(5px);
  .border-bottom-radius(5px);
  .border-left-radius(5px);
  border     : 1px @navbar-default-bg solid;
  padding    : 5px;

  .toc-active {
	background-color : @navbar-inverse-link-active-bg;
	color            : @navbar-inverse-link-active-color;
  .border-top-radius(3px);
  .border-right-radius(3px);
  .border-bottom-radius(3px);
  .border-left-radius(3px);
	a, a:hover, a:active, a:visited {
	  background-color : @navbar-inverse-link-active-bg;
	  color            : @navbar-inverse-link-active-color;
	}
  }

  .toc-h1 {
    margin-left  : 2px;
    margin-right : 2px;
  }

  .toc-h2 {
    margin-left  : 7px;
    margin-right : 7px;
  }

  .toc-h3 {
    margin-left  : 14px;
    margin-right : 7px;
  }

  .toc-h4 {
    margin-left  : 21px;
    margin-right : 7px;
  }
}



.copyright {
  font-size  : 90%;
  text-align : center;
  color      : @navbar-inverse-bg;
  width      : 100%;
  display    : block;
}

.jsdoc-message {
  font-size  : 90%;
  text-align : center;
  color      : @navbar-inverse-bg;
  width      : 100%;
  display    : block;
}

.page-title {
  font-size      : 220%;
  color          : @navbar-inverse-bg;
  font-weight    : 700;
  padding-top    : 10px;
  padding-bottom : 7px;
  display        : block;
}

footer {
  border-top  : 1px solid  @navbar-inverse-link-hover-bg;
  padding-top : 15px;
}

code {
  background-color : none;
  border           : none;
  color            : orange;
}

.buffered-name {
  padding-top : @headerHeight;
  margin-top  : -@headerHeight;
}

.member-collapsed {
  background-color : @navbar-inverse-bg;
  color            : @navbar-inverse-color;
}

.member-open {
  background-color : inherit;
  color            : inherit;
}

.member {
  .transition(background-color 0.5s linear);
  .transition(color 0.5s linear);
  .border-top-radius(5px);
  .border-right-radius(5px);
  .border-bottom-radius(5px);
  .border-left-radius(5px);
  padding : 3px;
  margin-top:5px;
  margin-bottom:5px;


}
.member-name{
  padding-top: 100px !important;
  margin-top: -100px !important;
}


.sunlight-highlighted {
  margin           : 0;
  line-height      : auto;
  word-break       : normal;
  word-wrap        : normal;
  white-space      : pre;
  background-color : transparent;
  border           : none;
}

.sunlight-line-number-margin {
  .border-top-radius(0);
  .border-right-radius(0);
  .border-bottom-radius(0);
  .border-left-radius(0);
  border-width  : 0 1px 0 0;
  font-size     : 12px;
  line-height   : 15px;
  padding       : 12px 4px !important;<commit_msg>Fix layout glitch in code samples<commit_after>@import "../bower_components/bootstrap/less/bootstrap.less";
@import "variables.less";
@import "bootswatch.less";

@headerHeight: 62px;

#main {
  margin-top : @headerHeight;
}

.navbar-fixed-top {
  .navbar-inner {
	padding-left  : 20px;
	padding-right : 20px;
  }

}

.navbar {
  .dropdown-menu {
	padding          : 20px;
	max-height       : 300px;
	overflow         : auto;
	width            : 300px;
	background-color : @navbar-inverse-bg;
	a, a:visited {
	  color : @navbar-inverse-link-color;
	}
	a:hover {
	  color            : @navbar-inverse-link-hover-color;
	  background-color : @navbar-inverse-link-hover-bg;
	}
	a:active {
	  color            : @navbar-inverse-link-active-color;
	  background-color : @navbar-inverse-link-active-bg;
	}
	a {
	  padding-left  : 0;
	  padding-right : 5px;
	  font-weight   : 500;
	  font-size     : 115%;
	}
  }
}

img.branding-logo{
  max-height: 30px;
  display: inline-block;
  padding: 0px;
  margin: -3px 5px 0 0;
}

#toc {
  position   : fixed;
  top        : @headerHeight;
  right      : 0;
  max-height : 82%;
  overflow   : auto;
  .border-top-radius(5px);
  .border-right-radius(5px);
  .border-bottom-radius(5px);
  .border-left-radius(5px);
  border     : 1px @navbar-default-bg solid;
  padding    : 5px;

  .toc-active {
	background-color : @navbar-inverse-link-active-bg;
	color            : @navbar-inverse-link-active-color;
  .border-top-radius(3px);
  .border-right-radius(3px);
  .border-bottom-radius(3px);
  .border-left-radius(3px);
	a, a:hover, a:active, a:visited {
	  background-color : @navbar-inverse-link-active-bg;
	  color            : @navbar-inverse-link-active-color;
	}
  }

  .toc-h1 {
    margin-left  : 2px;
    margin-right : 2px;
  }

  .toc-h2 {
    margin-left  : 7px;
    margin-right : 7px;
  }

  .toc-h3 {
    margin-left  : 14px;
    margin-right : 7px;
  }

  .toc-h4 {
    margin-left  : 21px;
    margin-right : 7px;
  }
}



.copyright {
  font-size  : 90%;
  text-align : center;
  color      : @navbar-inverse-bg;
  width      : 100%;
  display    : block;
}

.jsdoc-message {
  font-size  : 90%;
  text-align : center;
  color      : @navbar-inverse-bg;
  width      : 100%;
  display    : block;
}

.page-title {
  font-size      : 220%;
  color          : @navbar-inverse-bg;
  font-weight    : 700;
  padding-top    : 10px;
  padding-bottom : 7px;
  display        : block;
}

footer {
  border-top  : 1px solid  @navbar-inverse-link-hover-bg;
  padding-top : 15px;
}

code {
  background-color : none;
  border           : none;
  color            : orange;
}

.buffered-name {
  padding-top : @headerHeight;
  margin-top  : -@headerHeight;
}

.member-collapsed {
  background-color : @navbar-inverse-bg;
  color            : @navbar-inverse-color;
}

.member-open {
  background-color : inherit;
  color            : inherit;
}

.member {
  .transition(background-color 0.5s linear);
  .transition(color 0.5s linear);
  .border-top-radius(5px);
  .border-right-radius(5px);
  .border-bottom-radius(5px);
  .border-left-radius(5px);
  padding : 3px;
  margin-top:5px;
  margin-bottom:5px;


}
.member-name{
  padding-top: 100px !important;
  margin-top: -100px !important;
}


.sunlight-highlighted {
  margin           : 0;
  line-height      : auto;
  word-break       : normal;
  word-wrap        : normal;
  white-space      : pre;
  background-color : transparent;
  border           : none;
}

.sunlight-line-number-margin {
  .border-top-radius(0);
  .border-right-radius(0);
  .border-bottom-radius(0);
  .border-left-radius(0);
  border-width  : 0 1px 0 0;
  font-size     : 12px;
  line-height   : 15px;
  padding       : ((@line-height-computed - 1) / 2) 4px !important
{'fraction_non_alphanumeric': 0.14855756268535994, 'fraction_numerical': 0.029927204098139662, 'mean_word_length': 2.248248686514886, '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': '1727969', 'n_tokens_mistral': 3078, 'n_tokens_neox': 2780, 'n_words': 488}