<commit_before>@import "lib/sass-material-colors/sass/sass-material-colors";
@import "lib/sass-material-colors/sass/sass-material-colors-classes";

/** FONTS **/

@font-face {
  font-family: "helvetica";
  src: url(../fonts/HelveticaNeue-Medium.otf);
}
@font-face {
  font-family: "helvetica-lt";
  src: url(../fonts/HelveticaNeue-Light.otf);
}
@font-face {
  font-family: "std-900";
  src: url(../fonts/HelveticaNeueLTStd-Blk.otf);
}
@font-face {
  font-family: "std-700";
  src: url(../fonts/HelveticaNeueLTStd-Md.otf);
}
@font-face {
  font-family: "std-500";
  src: url(../fonts/HelveticaNeueLTStd-Roman.otf);
}
@font-face {
  font-family: "std-500";
  font-weight: bold;
  src: url(../fonts/HelveticaNeueLTStd-Md.otf);
}
@font-face {
  font-family: "std-300";
  src: url(../fonts/HelveticaNeueLTStd-Lt.otf);
}
@font-face {
  font-family: "std-100";
  src: url(../fonts/HelveticaNeueLTStd-Th.otf);
}
.font-900
{
  font-family: "std-900";
}
.font-700
{
  font-family: "std-700";
}
.font-500
{
  font-family: "std-500";
}
.font-300
{
  font-family: "std-300";
}
.font-100
{
  font-family: "std-100";
}
.italic
{
  font-style: italic;
}

/** CONSTANTS **/
$pica: 12pt;                                                        //picas per point
$page-margin: 4*$pica 0*$pica;                                      //page margin
$page-padding-x: 2*$pica;                                           //page padding (x)
$page-padding: 0*$pica $page-padding-x;                             //page padding
$page-bleed: auto;                                                  //page bleed
$header-margin: 3pt $page-padding-x 0*$pica $page-padding-x;        //header margin
$footer-margin-bottom: 1.5*$pica;                                   //page number extra space
$footer-width: 2.5*$pica;                                           //page number width
$title-margin: -2*$pica -2*$pica 1*$pica -2*$pica;                  //title margin
$title-padding: 3*$pica $page-padding-x 0*$pica $page-padding-x; //page padding
$toc-leader-string: ' ';                                            //table of contents leader
$cover-margin-bottom: 0*$pica;                                      //bottom margin for items on cover page
$cover-logo-width: 32*$pica;                                        //cover logo image width
$color-purple: #9b26b6;                                             //base purple color

/** HELPER FUNCTIONS **/
@mixin vertical-center($height) {
  position: absolute;
  margin: auto;
  text-align: center;
  left: 0;
  right: 0;
  top: 0;
  bottom: 0;
  vertical-align: middle;
  height: $height;
}

/**** PAGED MEDIA ****/
@page
{
  size: US-Letter portrait;
  padding: $page-padding;
  margin: $page-margin;
  bleed: $page-bleed;
}
page
{
  page-break-before: always;
  height: 100%;
  width: 100%;
  display: block;
}

/** COVER **/
@page cover
{
  background-color: $color-purple;
}
page.cover
{
  page: cover;
  color: white;
  width: 100%;
  display: block;
  text-align: center;
  @include vertical-center(48*$pica);
}
page.blank
{
  page: blank;
}
page.empty
{
  page: empty;
  display: block;
  height: 100%;
}
page.clear
{
  color: white;
}
page.reset
{
  counter-reset: page 0;
}
page.full
{
  page: full;
}
page.cover img.logo
{
  width: $cover-logo-width;
  padding-bottom: 8*$pica;
}
page.cover .name1
{
  font-size: 30pt;
}
page.cover .name2
{
  padding-bottom: 10*$pica;
}
page.cover .bottom
{
  position: fixed;
  bottom: $cover-margin-bottom;
  left: 0;
  right: 0;
}
page.cover .bottom .time-built,
page.cover .bottom .time-mod
{
  margin: 0;
  padding: 0;
}

/** TITLES **/
page.frontmatter .title
{
  background-color: $color-purple;
  position: relative;
  color: white;
  font-family: "std-700";
  top: 0;
  height: 3*$pica;
  left: 0;
  right: 0;
  margin: $title-margin;
  padding: $title-padding;
  font-size: 36pt;
}
page.frontmatter .title.ignore h1
{
  prince-bookmark-level: 1;
}
page.frontmatter .title.l1 h1
{
  prince-bookmark-level: 1;
}
page.frontmatter .title.l2 h1
{
  prince-bookmark-level: 2;
}

/** PAGE BREAKS **/
.page-break {
  display: block;
  page-break-before: always; // force a page break
}

/** TABLE OF CONTENTS **/

.toc-inner
{
  margin: 0 0 0 -3*$pica;
}
.toc-inner li
{
  list-style: none;
}
.toc-inner li a
{
  color: black;
  text-decoration: none;
  font-size: 14pt;
}
.toc-inner li.l2
{
  margin-top: 0pt;
}
.toc-inner li.l1 a
{
  font-family: "std-700";
}
.toc-inner li.l2 a
{
  padding-left: 2*$pica;
  font-family: "std-300";
}
.toc-inner li a::after {
  content: leader($toc-leader-string) target-counter(attr(href), page);<commit_msg>Fix ToC Margin<commit_after>@import "lib/sass-material-colors/sass/sass-material-colors";
@import "lib/sass-material-colors/sass/sass-material-colors-classes";

/** FONTS **/

@font-face {
  font-family: "helvetica";
  src: url(../fonts/HelveticaNeue-Medium.otf);
}
@font-face {
  font-family: "helvetica-lt";
  src: url(../fonts/HelveticaNeue-Light.otf);
}
@font-face {
  font-family: "std-900";
  src: url(../fonts/HelveticaNeueLTStd-Blk.otf);
}
@font-face {
  font-family: "std-700";
  src: url(../fonts/HelveticaNeueLTStd-Md.otf);
}
@font-face {
  font-family: "std-500";
  src: url(../fonts/HelveticaNeueLTStd-Roman.otf);
}
@font-face {
  font-family: "std-500";
  font-weight: bold;
  src: url(../fonts/HelveticaNeueLTStd-Md.otf);
}
@font-face {
  font-family: "std-300";
  src: url(../fonts/HelveticaNeueLTStd-Lt.otf);
}
@font-face {
  font-family: "std-100";
  src: url(../fonts/HelveticaNeueLTStd-Th.otf);
}
.font-900
{
  font-family: "std-900";
}
.font-700
{
  font-family: "std-700";
}
.font-500
{
  font-family: "std-500";
}
.font-300
{
  font-family: "std-300";
}
.font-100
{
  font-family: "std-100";
}
.italic
{
  font-style: italic;
}

/** CONSTANTS **/
$pica: 12pt;                                                        //picas per point
$page-margin: 4*$pica 0*$pica;                                      //page margin
$page-padding-x: 2*$pica;                                           //page padding (x)
$page-padding: 0*$pica $page-padding-x;                             //page padding
$page-bleed: auto;                                                  //page bleed
$header-margin: 3pt $page-padding-x 0*$pica $page-padding-x;        //header margin
$footer-margin-bottom: 1.5*$pica;                                   //page number extra space
$footer-width: 2.5*$pica;                                           //page number width
$title-margin: -2*$pica -2*$pica 1*$pica -2*$pica;                  //title margin
$title-padding: 3*$pica $page-padding-x 0*$pica $page-padding-x; //page padding
$toc-leader-string: ' ';                                            //table of contents leader
$cover-margin-bottom: 0*$pica;                                      //bottom margin for items on cover page
$cover-logo-width: 32*$pica;                                        //cover logo image width
$color-purple: #9b26b6;                                             //base purple color

/** HELPER FUNCTIONS **/
@mixin vertical-center($height) {
  position: absolute;
  margin: auto;
  text-align: center;
  left: 0;
  right: 0;
  top: 0;
  bottom: 0;
  vertical-align: middle;
  height: $height;
}

/**** PAGED MEDIA ****/
@page
{
  size: US-Letter portrait;
  padding: $page-padding;
  margin: $page-margin;
  bleed: $page-bleed;
}
page
{
  page-break-before: always;
  height: 100%;
  width: 100%;
  display: block;
}

/** COVER **/
@page cover
{
  background-color: $color-purple;
}
page.cover
{
  page: cover;
  color: white;
  width: 100%;
  display: block;
  text-align: center;
  @include vertical-center(48*$pica);
}
page.blank
{
  page: blank;
}
page.empty
{
  page: empty;
  display: block;
  height: 100%;
}
page.clear
{
  color: white;
}
page.reset
{
  counter-reset: page 0;
}
page.full
{
  page: full;
}
page.cover img.logo
{
  width: $cover-logo-width;
  padding-bottom: 8*$pica;
}
page.cover .name1
{
  font-size: 30pt;
}
page.cover .name2
{
  padding-bottom: 10*$pica;
}
page.cover .bottom
{
  position: fixed;
  bottom: $cover-margin-bottom;
  left: 0;
  right: 0;
}
page.cover .bottom .time-built,
page.cover .bottom .time-mod
{
  margin: 0;
  padding: 0;
}

/** TITLES **/
page.frontmatter .title
{
  background-color: $color-purple;
  position: relative;
  color: white;
  font-family: "std-700";
  top: 0;
  height: 3*$pica;
  left: 0;
  right: 0;
  margin: $title-margin;
  padding: $title-padding;
  font-size: 36pt;
}
page.frontmatter .title.ignore h1
{
  prince-bookmark-level: 1;
}
page.frontmatter .title.l1 h1
{
  prince-bookmark-level: 1;
}
page.frontmatter .title.l2 h1
{
  prince-bookmark-level: 2;
}

/** PAGE BREAKS **/
.page-break {
  display: block;
  page-break-before: always; // force a page break
}

/** TABLE OF CONTENTS **/

.toc-inner
{
  margin: 0;
}
.toc-inner li
{
  list-style: none;
}
.toc-inner li a
{
  color: black;
  text-decoration: none;
  font-size: 14pt;
}
.toc-inner li.l2
{
  margin-top: 0pt;
}
.toc-inner li.l1 a
{
  font-family: "std-700";
}
.toc-inner li.l2 a
{
  padding-left: 2*$pica;
  font-family: "std-300";
}
.toc-inner li a::after {
  content: leader($toc-leader-string) target-counter(attr(href), page);
{'fraction_non_alphanumeric': 0.16942328618063113, 'fraction_numerical': 0.029488574537540804, 'mean_word_length': 2.2603760198652005, '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': 32, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '67972', 'n_tokens_mistral': 3767, 'n_tokens_neox': 3502, 'n_words': 714}