.article-body pre {
  max-width: 100%;
  overflow-x: auto;
  padding: 1rem;
  border: 1px solid #d8d5cd;
  border-radius: 8px;
  background: #f7f8f6;
  color: #172033;
  font-size: .86rem;
  line-height: 1.55;
  white-space: pre;
}

.article-body code {
  font-family: Consolas, "Courier New", monospace;
}

.article-body :not(pre) > code {
  padding: .08rem .25rem;
  border-radius: 3px;
  background: #f0f3f1;
}

.article-body blockquote {
  margin: 1.5rem 0;
  padding: .15rem 0 .15rem 1rem;
  border-left: 4px solid #315f7f;
  color: #48443e;
}

.article-body table {
  min-width: 680px;
}

.article-body .article-figure img {
  background: #fff;
}

.article-body .article-downloads,
.article-body .article-distribution-links {
  display: flex;
  flex-wrap: wrap;
  gap: .55rem .9rem;
  align-items: center;
}

.article-body .article-downloads a,
.article-body .article-distribution-links a {
  font-weight: 700;
}

@media (max-width: 720px) {
  .article-body pre {
    font-size: .76rem;
  }

  .article-body table {
    min-width: 620px;
  }
}