html{scroll-behavior:smooth}
body{
  background:var(--paper);
  color:var(--ink);
  font-family: "Source Serif 4", serif;
  font-size: 17px;
  line-height:1.6;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}