@font-face {
  font-family: ui-sans-serif;
  src: url(./FontAwesome6Free-Regular.woff2) format('woff2');
  font-weight: 400  900;
  font-style: normal;
  font-display: swap;
}

:root {
    /* --font-sans: awsomefontregular, ui-sans-serif, sans-serif;
    --font-mono: awsomefontregular, ui-sans, Mono; */
    --sl-font: ui-sans-serif;
    --sl-text-lg: 1.125rem;
    --sl-text-h4: 1.25rem; 
    --sl-text-h3: 1.35rem;
    --sl-text-h2: 1.45rem;
    --sl-text-h1: 1.60rem;
}

body {
  /* firefox bug */
  font-family: ui-sans-serif, Avenir, Helvetica, Arial, sans-serif;
}

mjx-container[jax="SVG"] > svg {
    display: inline !important;
}
MathJax > svg {
    display: inline !important;
}