/* noto-serif-regular - latin_latin-ext */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: 'Noto Serif';
  font-style: normal;
  font-weight: 400;
  src: url('../fonts/noto-serif-latin_latin-ext-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
       url('../fonts/noto-serif-latin_latin-ext-regular.ttf') format('truetype'); /* Chrome 4+, Firefox 3.5+, IE 9+, Safari 3.1+, iOS 4.2+, Android Browser 2.2+ */
}

/* atkinson-hyperlegible-regular - latin_latin-ext */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: 'Atkinson Hyperlegible';
  font-style: normal;
  font-weight: 400;
  src: url('../fonts/atkinson-hyperlegible-latin_latin-ext-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
       url('../fonts/atkinson-hyperlegible-latin_latin-ext-regular.ttf') format('truetype'); /* Chrome 4+, Firefox 3.5+, IE 9+, Safari 3.1+, iOS 4.2+, Android Browser 2.2+ */
}

/* eb-garamond-regular - latin_latin-ext */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: 'EB Garamond';
  font-style: normal;
  font-weight: 400;
  src: url('../fonts/eb-garamond-latin_latin-ext-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
       url('../fonts/eb-garamond-latin_latin-ext-regular.ttf') format('truetype'); /* Chrome 4+, Firefox 3.5+, IE 9+, Safari 3.1+, iOS 4.2+, Android Browser 2.2+ */
}

/* stix-two-text-regular - latin_latin-ext */
@font-face {
  font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
  font-family: 'STIX Two Text';
  font-style: normal;
  font-weight: 400;
  src: url('../fonts/stix-two-text-latin_latin-ext-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
       url('../fonts/stix-two-text-latin_latin-ext-regular.ttf') format('truetype'); /* Chrome 4+, Firefox 3.5+, IE 9+, Safari 3.1+, iOS 4.2+, Android Browser 2.2+ */
}

/* body */

body {
  /*padding-top: 70px;*/
  font-family: 'Noto Serif', serif;
}

/* overflowing equations */

div.woowoo-equation {
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
}

div.woowoo-gather {
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
}

div.woowoo-align {
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
}

/* Justified text

  Bootstrap does not provide class for justified text
  and my eyes bleed...

*/

p.woowoo-paragraph {
  text-align: justify;
  -webkit-hyphens: auto;
  -ms-hyphens: auto;
  hyphens: auto;
}

p.woowoo-paragraph-part {
  text-align: justify;
  -webkit-hyphens: auto;
  -ms-hyphens: auto;
  hyphens: auto;
}

/* footer */

.footer-logo {
  max-height: 80px;
  width: auto;
}


/* Dark fixes */

img.woowoo-image.fix-dark {
  filter: invert(1) hue-rotate(180deg);
}

img.woowoo-tikz.fix-dark {
  filter: invert(1) hue-rotate(180deg);
}

mjx-mstyle.fix-dark {
  filter: invert(1) hue-rotate(180deg); 
}

/**
* AnchorJS tweaks
* https://www.bryanbraun.com/anchorjs/
*/

.anchorjs-link {
  transition: all .25s linear;
}

/* Take care of the navbar when anchoring */

/**
* Create an invisible pseudo-element and make it the height of the
* sticky navbar so the jump takes you to a location above the link
*/

:target {
  scroll-margin-top: 6rem;
  border: 2px solid red;
}

/* inline code */

/*span.inline-code {
  font-family: var(--bs-font-monospace);
}*/

/* hide contents menu */

:root {
  --navbar-height: 60px;
}

#contents-container {
  top: var(--navbar-height);
}

/* prevent two scrollbars if displayed in single column */
@media screen and (min-width: 768px) {
  #contents-container {
    height: calc(100vh - var(--navbar-height));
  }
}

/* BW */

html.grayscale-filter {
  filter: grayscale(100%);
}

/* prevent line breaks between inline math and interpunction */

span.fix-mathjax-breaks {
  white-space: nowrap;
}