@font-face {
  font-display: "optional";
  font-family: "Noto Sans";
  src: local("Noto Sans"),
       url("https://fonts.googleapis.com/css2?family=Noto+Sans&display=swap");
}
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;
}
img.srfi-logo {
  margin-right: 0.5em;
  vertical-align: middle;
  width: 4em;
}
span.antispam {
  display: none;
}
.todo {
  color: red;
  font-family: monospace;
  font-weight: bold;
}