/* Extra formatting for articles authored with HTML tags. */
.article-body img { max-width: 100%; height: auto; display: block; }
.article-body figure { margin: 28px 0; }
.article-body figcaption { margin-top: 8px; color: #75849a; font-size: 13px; line-height: 1.8; }
.article-body h4 { margin: 30px 0 12px; color: #15233e; font-size: 18px; }
.article-body pre { padding: 18px 20px; border: 1px solid #e2e8f0; border-radius: 8px; background: #f4f7fb; overflow: auto; margin: 20px 0; }
.article-body code { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: .92em; }
.article-body :not(pre) > code { background: #f4f7fb; padding: .15em .35em; border-radius: 3px; }
.article-body table { width: 100%; border-collapse: collapse; display: block; overflow-x: auto; margin: 25px 0; }
.article-body th, .article-body td { border: 1px solid #dbe4f0; padding: 9px 12px; min-width: 80px; text-align: left; }
.article-body th { background: #f3f7fe; font-weight: 750; }
.article-body hr { border: 0; border-top: 1px solid #dbe4f0; margin: 40px 0; }