
/* 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+ */
}

/* 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 {
  margin-top: 45px;
  padding-top: 5px;
  border-top: 1px solid #eaeaea;
  color: #777;
}

footer a {
  color: #555;
}

footer a:hover {
  color: #222;
}

footer small {
  float: left;
}

footer ul {
  float: right;
  list-style: none;
}

footer ul li {
  float: left;
  margin-left: 15px;
}

/* 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);
}*/
