@import 'https://fonts.googleapis.com/css2?family=Fira+Code&family=Lora:wght@400;600;700&family=Roboto:wght@400;700&family=Karla:wght@400;500;700&family=Roboto+Mono&family=Source+Sans+Pro:wght@200;300;400;700&display=swap';:root{--heading-font:'Karla', sans-serif;--body-font:'Karla', sans-serif;--nav-font:'Karla', sans-serif;--mono-font:'Roboto Mono', monospace}body{font-family:var(--body-font)}h1,h2,h3,h4,h5,h6{font-family:var(--heading-font)}code{font-family:var(--mono-font)}nav{font-family:var(--nav-font)}.page-background{background-color:#fafafa!important}.dark .page-background{background-color:#333!important}.teaching-content .container.max-w-\[65ch\]{max-width:60rem!important}