.article-subtitle {
  font-size: 18px;
  line-height: 28px;
  color: #444444;
  margin: 0 0 16px;
}

.article-toc {
  padding: 16px 30px;
  background: #f9f9f9;
  border-radius: 6px;
  margin: 0 0 23px;
}

.article-toc li {
  margin: 0;
}

.article-cases {
  margin-top: 16px;
}

pre {
  background: #f5f5f5;
  padding: 16px;
  border-radius: 6px;
  overflow-x: auto;
  margin: 16px 0;
}

pre code {
  font-family: Consolas, monospace;
  font-size: 14px;
  line-height: 22px;
  color: #333333;
}

code {
  font-family: Consolas, monospace;
  font-size: 14px;
  background: #f0f0f0;
  padding: 2px 5px;
  border-radius: 3px;
}

pre code {
  background: none;
  padding: 0;
}