@import url('https://fonts.googleapis.com/css2?family=Source+Serif+4:ital,opsz,wght@0,8..60,300..900;1,8..60,300..900&family=JetBrains+Mono:wght@400;700&display=swap');

body {
  font-family: 'Source Serif 4', serif;
}

code, pre {
  font-family: 'JetBrains Mono', monospace;
}

#TOC {
  font-size: 20px;
}