/* ===========================================
   SELF-HOSTED FONTS
   Uncomment ONE font block at a time
   =========================================== */


/* -------------------------------------------
   Junicode (classic / bookish)
   ------------------------------------------- */
/*
@font-face {
  font-family: "Junicode";
  src: url("fonts/Junicode-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

body {
  font-family: "Junicode", serif;
}
*/


/* -------------------------------------------
   IBM Plex Sans (modern / neutral)
   ------------------------------------------- */
/*
@font-face {
  font-family: "IBMPlex";
  src: url("fonts/IBMPlexSans-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

body {
  font-family: "IBMPlex", system-ui, -apple-system, "Segoe UI", sans-serif;
}
*/


/* -------------------------------------------
   Libertinus Serif (math / TeX vibe)
   ------------------------------------------- */

@font-face {
  font-family: "Libertinus";
  src: url("fonts/libertinus/LibertinusSans-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

body {
  font-family: "Libertinus", serif;
}


/* ===========================================
   Optional niceties (apply regardless of font)
   =========================================== */

body {
  line-height: 1.55;
}

h1, h2, h3 {
  line-height: 1.25;
}

/* figure { */
/*   margin: 20px; */
/* } */
/**/
.quarto-figure-right {
  float: right;
  margin-left: 10px;
}

.figure-img {
  margin-bottom: 0;
}

figcaption {
  text-align: center;
  padding: 5px;
  background: var(--bs-body-bg);
}