* {
  font-family: Georgia, serif
}
body {
  max-width: 50rem;
  margin: auto;
  padding: 1rem;
}
@media (min-width: 600px) {
  #menu {
    display: flex;
    justify-content: space-between;
    align-items: center;
  }
}
#links {
  padding-top: 0.5rem;
  padding-bottom: 0.5rem;
  font-size: 1.5rem;
  display: flex;
  gap: 0.75rem;
}
p, li, dt, dd {
  line-height: 150%;
}
a:link {
  color: #007070;
}
a:visited {
  color: #004040;
}
a:active {
  color: #777;
}
a#home {
  color: #007070;
  font-size: 2rem;
}
a#home, #links a {
  text-decoration: none;
}
pre {
  margin: 4px;
  padding: 8px;
  background-color: #e9e9e9;
  overflow: auto;
}
code {
  font-family: monospace;
}

/* images */
img.proj-img {
  max-width: 30rem;
  max-height: 20rem;
}


/* pygments - custom */
.highlight pre, .highlight pre span {
  font-family: monospace;
}
.highlight .gp {
  user-select: none; /* No selection for generic prompt (console) */
}