.article-supplementary pre.code-highlighted {
  border-color: #d9d4ca;
  background: #fbfaf7;
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.85);
}

.article-supplementary pre code[class*="language-"] {
  display: block;
  white-space: pre;
}

.article-supplementary .token.comment {
  color: #7a756c;
  font-style: italic;
}

.article-supplementary .token.keyword {
  color: #9b3f2f;
  font-weight: 600;
}

.article-supplementary .token.string {
  color: #2f6f73;
}

.article-supplementary .token.number {
  color: #7b4f9f;
}

.article-supplementary .token.function {
  color: #1f5f99;
  font-weight: 600;
}

.article-supplementary .token.builtin,
.article-supplementary .token.module {
  color: #835c18;
}

.article-supplementary .token.operator,
.article-supplementary .token.punctuation {
  color: #555047;
}

.article-supplementary .token.variable {
  color: #8a4c70;
}

.article-supplementary .token.flag {
  color: #7c5133;
  font-weight: 600;
}