@import url('https://fonts.googleapis.com/css2?family=Noto+Sans&display=swap');

@font-face {
  font-display: "optional";
  font-family: "Noto Sans", sans-serif;
}
a {
  hyphens: auto;
  overflow-wrap: break-word;
  word-break: break-word;
  word-wrap: break-word;
}
a.eponymous {
  font-family: Monaco, Courier, monospace;
  overflow-wrap: break-word;
  word-break: break-all;
  word-wrap: break-word;
}
body {
  font-family: "Noto Sans", sans-serif;
  font-size: 18px;
  margin: 1em auto;
  max-width: 46em;
}
body h1:first-child {
  font-size: 150%;
  margin: 0;
}
h1, h2, h3, h4, h5, h6 {
  text-wrap: balance;
}
img.srfi-logo {
  margin-right: 0.5em;
  vertical-align: middle;
  width: 4em;
}
span.antispam {
  display: none;
}
pre {
  white-space: pre-wrap;
}
td, th {
  vertical-align: top;
}
.todo {
  color: red;
  font-family: monospace;
  font-weight: bold;
}