@import url("https://fonts.googleapis.com/css2?family=Source+Sans+Pro:wght@300;400;500;600;700&family=Ubuntu+Mono:wght@300;400;500;600;700&family=JetBrains+Mono:wght@300;400;500;600;700&family=Fira+Code:wght@300;400;500;600;700&family=Consolas:wght@300;400;500;600;700&family=Red+Hat+Mono:wght@300;400;500;600;700&family=Google+Sans+Code:wght@300;400;500;600;700&display=swap");


:root {
  --bg: #ffffff;
  --fg: #111111;
  --muted: #6b7280;
  --link: #2051cc;
  --link-hover: #000000;
  --link-underline: rgba(17, 17, 17, 0.45);
  --accent: #111111;
  --rule: #e5e7eb;

  /* Custom font families */
  --font-sans:  -apple-system, BlinkMacSystemFont, 'Source Sans Pro', 'Lato', 'Helvetica Neue', Arial, sans-serif;
  /* --font-serif: -apple-system, BlinkMacSystemFont, 'Georgia', 'Times New Roman', serif; */
  --font-serif: "Iowan Old Style BT", -apple-system, BlinkMacSystemFont, 'Georgia', 'Times New Roman', serif;
  --font-mono:  'Ubuntu Mono', 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  --font-math:  "New Computer Modern Math", "Latin Modern Math", "STIX Two Math",  "TeX Gyre Pagella Math", "Libertinus Math";
  --content-width: 700px;
}

body {
  padding: 0;
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--font-serif);
  font-size: 1.0em;
  line-height: 1.8;
  font-weight: 400;
  text-shadow: 0 0 0.5px rgba(80, 80, 80, 0.3);
  font-feature-settings: "kern" on;
}


main, .container {
  max-width: var(--content-width);
  margin: 0 auto;
  padding: 56px 24px 80px;
  /* add right padding so fixed navbar never overlaps main content */
  padding-right: 200px;
}

/* Right-side navbar (vertical list aligned to content width) */
header { display: contents; }

navbar {
  position: fixed;
  top: 28px;
  left: calc(50% + (var(--content-width) / 2) + 24px);
  right: auto;
  background: transparent;
}

navbar ul {
  list-style: none;
  margin: 0;
  padding: 0;
}

navbar li, navbar a {
  color: #888f9c;
  font-size: 1.0em;
}

navbar li:hover, navbar a:hover {
  color: var(--fg);
  cursor: pointer;
}

/* Hero/title */
.site-title {
  font-family: var(--font-serif);
  font-weight: 600;
  font-size: 40px;
  letter-spacing: -0.02em;
  margin: 24px 0 8px 0;
}

.site-tagline {
  color: var(--muted);
  margin: 0 0 40px 0;
}

/* Typography */
h1, h2, h3, h4, h5, h6 {
  margin: 32px 0 12px;
  font-weight: 600;
}

h1 { font-size: 28px; }
h2 { font-size: 24px; }
h3 { font-size: 20px; }
h4 { font-size: 18px; }
h5 { font-size: 16px; }

p { margin: 0 0 12px; }

ul { margin: 0 0 18px 22px; padding-left: 1.1rem; }
li { margin: 10px 0; }
li > p { margin: 0; }
li::marker { color: #9ca3af; }

/* Links */
a {
  color: var(--link);
  text-decoration-line: underline;
  text-underline-offset: 3px;
  text-decoration-thickness: 1px;
  text-decoration-color: var(--link-underline);
}

a:hover {
  color: var(--link-hover);
  text-decoration-color: currentColor;
}

/* Horizontal rule rhythm */
hr {
  border: 0;
  border-top: 1px solid var(--rule);
  margin: 28px 0;
}

/* Tables (simple) */
table { border-collapse: collapse; width: 100%; margin: 12px 0 24px; }
th, td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--rule); }
th { font-weight: 600; }

/* Code */
code, pre, kbd, samp { font-family: var(--font-mono); font-size: 0.95em; }
code { background: #fefefe; padding: 2px 4px; border-radius: 4px;  }
pre { background: #fefefe; padding: 12px 14px; border-radius: 6px; overflow-x: auto; border: 1px solid #e2e8f0; }

/* Figures */
img { max-width: 100%; height: auto; display: block; margin-left: auto; margin-right: auto; }
figure { margin: 20px 0; }
figcaption { color: var(--muted); text-align: center; font-size: 0.9em; }

/* Footnote superscripts should not show underlines */
sup a { text-decoration: none; }
/* If the <a> wraps the <sup> (common case), suppress underline on the link */
a:has(> sup) { text-decoration: none; }
a:has(> sup):hover { text-decoration: none; }

/* Tweak superscript appearance */
sup {
  line-height: 0;
  font-size: 0.75em;
}

/* Lists with section headings style */
.section-title {
  font-family: var(--font-serif);
  font-size: 28px;
  margin: 40px 0 12px;
}

.muted { color: var(--muted); }

/* Footer */
footer { color: var(--muted); border-top: 1px solid var(--rule); margin-top: 48px; padding-top: 16px; }

/* Responsive */
@media (max-width: 860px) {
  /* Top navbar on small screens */
  navbar {
    position: sticky;
    top: 0;
    left: auto;
    right: auto;
    padding: 12px 24px;
    background: var(--bg);
    z-index: 5;
    /* border-bottom: 1px solid var(--rule); */
  }
  navbar ul {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
  justify-content: center;
    gap: 12px 16px;
  }
  navbar li { margin: 0; }
  main, .container { padding-right: 24px; }
}

@media (max-width: 640px) {
  .site-title { font-size: 34px; }
  h1 { font-size: 28px; }
  h2 { font-size: 24px; }
}

@media (max-width: 480px) {
  navbar li, navbar a { font-size: 0.95em; }
}






/* MathML */
.mathyml-block-center {
  text-align: center;
}

.mathyml-inline-span {
  display: inline-block;
}

.mathyml-align-right {
  text-align: right;
  padding: 0;
}

.mathyml-align-left {
  text-align: left;
  padding: 0;
}

/* Math */

math[display="block"] {
  margin: 0 0 12px;
}

math {
  color: blue;
  font-family: var(--font-math);
  
}