/*
@font-face {
  font-family: 'my-monospace';
  src: url('/fonts/RobotoMono-Regular.ttf') format('woff');
}
*/
html {
  color-scheme: light dark;
}
/*
body {
  max-width: 700px;
  margin: 30px auto;
  font-family: my-monospace, monospace;
  font-size: 16px;
}*/
body {
  max-width: min(70ch, 100% - 4rem);
  margin-inline: auto;
  font-family: system-ui;
  font-size: 1.25rem;
  line-height: 1.5;
}
pre {
    font-size: 0.9rem;
    margin-left: 2em;
}