@font-face {
  font-family: "Lexend Deca";
  src: url(LexendDeca.ttf);
}

@font-face {
  font-family: "JetBrains Mono";
  src: url(JetBrainsMono-Regular.woff2)
}

body {
  font-family: "Lexend Deca", Arial, Helvetica, sans-serif;
  max-width: 80ch;
  font-size-adjust: ex-height 0.53;
}

a { color: #0000EE; }
a:visited { color: #551A8B; }
a:active, a:visited:active { color: #FF0000; }

del {
  text-decoration-thickness: 2px;
}

pre {
  background-color: rgb(230, 230, 230);
  padding: 1em;
  border-radius: 5px;
  margin: 0;
  overflow-x: auto;
}

pre code {
  white-space: pre;
}

code, code span {
  font-family: "JetBrains Mono", Courier, monospace;
}

code:not(pre code) {
  background-color: rgb(230, 230, 230);
  padding: 1px 2px;
  border-radius: 3px;
}

blockquote {
  border-left: solid 6px #888;
  margin-left: 6px;
  padding-left: 6px;
}

.larger {
  font-size: larger;
}

.dimmed {
  opacity: 0.5;
}

.code-header {
  background: #fbe2e8;
  padding: 0px 6px;
  border-radius: 6px 6px 6px 6px;
  margin-bottom: -6px;
}