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

/* Page layout */
html, body {
  background-color: #E0DDD2;
  margin: 0;
  padding: 0;
}


@font-face {
  font-family: "Source Serif 4";
  font-weight: normal;
}

body {
  font-family: "Computer Modern", serif;
  color: #1a1a1a;
  max-width: 720px;
  margin: 60px auto;
  padding: 0 20px;
  font-size: 19px;
  line-height: 1.1;

}

/* Headings */
h1, h2, h3 {
  font-weight: normal;
  margin-top: 2em;
}

/* Links */
a {
  color: #2a4a63;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

/* Code blocks */
code, pre {
  font-family: monospace;
  background: rgba(0,0,0,0.05);
  padding: 3px 6px;
}

pre {
  padding: 14px;
  overflow-x: auto;
}

/* Images */
img {
  max-width: 100%;
}