.article-shell {
    display: grid;
    grid-template-columns: minmax(0, 48rem) minmax(12rem, 16rem);
    column-gap: 3rem;
    align-items: start;
    justify-content: center;
    width: min(72rem, calc(100% - 2rem));
    margin: 0 auto;
    padding: 3rem 0 6rem;
}

.article-header,
.article-body {
    grid-column: 1;
    min-width: 0;
}

.article-header {
    grid-row: 1;
    margin-bottom: 2.5rem;
    padding-bottom: 1.5rem;
    border-bottom: 1px solid #d5d5cf;
    text-align: center;
}

.article-header h1 {
    margin: 0.5rem 0;
    font-family: Georgia, "Songti SC", serif;
    font-size: 1.8rem;
    font-weight: 400;
}

.article-tags a {
    color: #276b42;
    text-decoration: none;
}

.article-tags {
    margin-top: 0.6rem;
}

.article-time {
    display: flex;
    flex-wrap: wrap;
    justify-content: center;
    gap: 0.3rem 1rem;
    margin-top: 0.65rem;
    color: #77776f;
    font-size: 0.82rem;
}

.article-body {
    display: flex;
    flex-direction: column;
    grid-row: 2;
    min-width: 0;
    /* font-family: Georgia, "Songti SC", "Microsoft YaHei", serif; */
    /* font-size: 1.05rem; */
    line-height: 1.3;
}

.article-toc {
    grid-column: 2;
    grid-row: 1 / span 2;
    position: sticky;
    top: 5rem;
    max-height: calc(100vh - 6rem);
    overflow-y: auto;
    padding: 0.5rem 0 0.5rem 1rem;
    border-left: 1px solid #d5d5cf;
    color: #66665f;
    font-size: 0.9rem;
}

.article-toc[hidden] {
    display: none;
}

.article-toc p {
    margin: 0 0 0.75rem;
    color: #292929;
}

.article-toc ol {
    margin: 0;
    padding: 0;
    list-style: none;
}

.article-toc li + li {
    margin-top: 0.5rem;
}

.article-toc li.level-3 {
    padding-left: 1rem;
    font-size: 0.85rem;
}

.article-toc a {
    color: inherit;
    text-decoration: none;
}

.article-toc a:hover,
.article-toc a:focus-visible {
    color: #276b42;
    text-decoration: underline;
}

.article-body h1,
.article-body h2,
.article-body h3 {
    scroll-margin-top: 4rem;
}

.article-body h1,
.article-body h2,
.article-body h3,
.article-body h4 {
    margin: 2.2rem 0 0.8rem;
    font-weight: 500;
    line-height: 1.4;
}

.article-body h1,
.article-body h2 {
    text-align: center;
}

.article-body p {
    margin: 0.5rem 0;
}

.article-body hr {
    width: 100%;
    margin: 1.5rem 0;
    border: 0;
    border-top: 1px solid #d5d5cf;
}

.article-body ul,
.article-body ol {
    padding-left: 1.5rem;
}

.article-body blockquote {
    margin: 1rem 0;
    padding: 0 1.2rem;
    display: flow-root;
    border-left: 2px solid #8c8c84;
    color: #55554f;
}

.article-body a {
    display: inline-block;
    max-width: 100%;
    overflow-x: hidden;
    overflow-y: hidden;
    vertical-align: text-top;
    white-space: nowrap;
    text-overflow: ellipsis;
    color: #175c8d;
}

.article-body img {
    display: block;
    max-width: 100%;
    height: auto;
    margin: 1.5rem auto;
}

.article-body code {
    /* padding: 0.05rem 0.25rem; */
    border: 1px solid #d8d8d2;
    font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
    font-size: 0.9em;
}

.article-body :not(pre) > code {
    padding: 0 0.2em;
    border-radius: 0.2em;
}

.code-block {
    margin: 1.2rem 0;
    border: 1px solid #d8d8d2;
    border-radius: 10px;
    overflow: hidden;
    background: #fff;
}

.code-lang {
    display: block;
    padding: 0.35rem 0.75rem 0;
    color: #85857d;
    font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
    font-size: 0.78rem;
}

.code-block pre {
    max-height: 55vh;
    margin: 0;
    overflow: auto;
}

.code-block pre code {
    border: 0;
}

.article-body .math.display {
    display: block;
    overflow-x: auto;
}

.article-body .math.display mjx-assistive-mml {
    max-height: 0;
}

@media (max-width: 1000px) {
    .article-shell {
        display: block;
        width: min(48rem, calc(100% - 2rem));
    }

    .article-toc {
        position: static;
        max-height: none;
        margin: 0 0 2rem;
        padding-left: 1rem;
    }
}

@media (max-width: 520px) {
    .article-shell {
        padding-top: 2rem;
    }

    .article-header h1 {
        font-size: 1.55rem;
    }
}
